2008

• 1.I.1B

  #Vectors and Matrices

  2008

  State de Moivre's Theorem. By evaluating

  $$\sum_{r=1}^{n} e^{i r \theta}$$

  or otherwise, show that

  $$\sum_{r=1}^{n} \cos (r \theta)=\frac{\cos (n \theta)-\cos ((n+1) \theta)}{2(1-\cos \theta)}-\frac{1}{2}$$

  Hence show that

  $$\sum_{r=1}^{n} \cos \left(\frac{2 p \pi r}{n+1}\right)=-1$$

  where $p$ is an integer in the range $1 \leqslant p \leqslant n$.

  comment

• 1.I.2A

  #Vectors and Matrices

  2008

  Let $U$ be an $n \times n$ unitary matrix $\left(U^{\dagger} U=U U^{\dagger}=I\right)$. Suppose that $A$ and $B$ are $n \times n$ Hermitian matrices such that $U=A+i B$.

  Show that

  (i) $A$ and $B$ commute,

  (ii) $A^{2}+B^{2}=I$.

  Find $A$ and $B$ in terms of $U$ and $U^{\dagger}$, and hence show that $A$ and $B$ are uniquely determined for a given $U$.

  comment

• 1.II $. 5 B \quad$

  #Vectors and Matrices

  2008

  (a) Use suffix notation to prove that

  $$\mathbf{a} \times(\mathbf{b} \times \mathbf{c})=(\mathbf{a} \cdot \mathbf{c}) \mathbf{b}-(\mathbf{a} \cdot \mathbf{b}) \mathbf{c}$$

  Hence, or otherwise, expand (i) $(\mathbf{a} \times \mathbf{b}) \cdot(\mathbf{c} \times \mathbf{d})$, (ii) $(\mathbf{a} \times \mathbf{b}) \cdot[(\mathbf{b} \times \mathbf{c}) \times(\mathbf{c} \times \mathbf{a})]$.

  (b) Write down the equation of the line that passes through the point a and is parallel to the unit vector $\hat{\mathbf{t}}$.

  The lines $L_{1}$ and $L_{2}$ in three dimensions pass through $\mathbf{a}_{1}$ and $\mathbf{a}_{2}$ respectively and are parallel to the unit vectors $\hat{\mathbf{t}}_{1}$ and $\hat{\mathbf{t}}_{2}$ respectively. Show that a necessary condition for $L_{1}$ and $L_{2}$ to intersect is

  $$\left(\mathbf{a}_{1}-\mathbf{a}_{2}\right) \cdot\left(\hat{\mathbf{t}}_{1} \times \hat{\mathbf{t}}_{2}\right)=0$$

  Why is this condition not sufficient?

  In the case in which $L_{1}$ and $L_{2}$ are non-parallel and non-intersecting, find an expression for the shortest distance between them.

  comment

• 1.II.6A

  #Vectors and Matrices

  2008

  A real $3 \times 3$ matrix $A$ with elements $A_{i j}$ is said to be upper triangular if $A_{i j}=0$ whenever $i>j$. Prove that if $A$ and $B$ are upper triangular $3 \times 3$ real matrices then so is the matrix product $A B$.

  Consider the matrix

  $$A=\left(\begin{array}{rrr} 1 & 2 & 0 \\ 0 & -1 & 1 \\ 0 & 0 & -1 \end{array}\right)$$

  Show that $A^{3}+A^{2}-A=I$. Write $A^{-1}$ as a linear combination of $A^{2}, A$ and $I$ and hence compute $A^{-1}$ explicitly.

  For all integers $n$ (including negative integers), prove that there exist coefficients $\alpha_{n}, \beta_{n}$ and $\gamma_{n}$ such that

  $$A^{n}=\alpha_{n} A^{2}+\beta_{n} A+\gamma_{n} I$$

  For all integers $n$ (including negative integers), show that

  $$\left(A^{n}\right)_{11}=1, \quad\left(A^{n}\right)_{22}=(-1)^{n}, \quad \text { and } \quad\left(A^{n}\right)_{23}=n(-1)^{n-1}$$

  Hence derive a set of 3 simultaneous equations for $\left\{\alpha_{n}, \beta_{n}, \gamma_{n}\right\}$ and find their solution.

  comment

• 1.II $. 7 \mathrm{C} \quad$

  #Vectors and Matrices

  2008

  Prove that any $n$ orthonormal vectors in $\mathbb{R}^{n}$ form a basis for $\mathbb{R}^{n}$.

  Let $A$ be a real symmetric $n \times n$ matrix with $n$ orthonormal eigenvectors $\mathbf{e}_{i}$ and corresponding eigenvalues $\lambda_{i}$. Obtain coefficients $a_{i}$ such that

  $$\mathbf{x}=\sum_{i} a_{i} \mathbf{e}_{i}$$

  is a solution to the equation

  $$A \mathbf{x}-\mu \mathbf{x}=\mathbf{f},$$

  where $\mathbf{f}$ is a given vector and $\mu$ is a given scalar that is not an eigenvalue of $A$.

  How would your answer differ if $\mu=\lambda_{1}$ ?

  Find $a_{i}$ and hence $\mathbf{x}$ when

  $$A=\left(\begin{array}{ccc} 2 & 1 & 0 \\ 1 & 2 & 0 \\ 0 & 0 & 3 \end{array}\right) \quad \text { and } \quad \mathbf{f}=\left(\begin{array}{l} 1 \\ 2 \\ 3 \end{array}\right)$$

  in the cases (i) $\mu=2$ and (ii) $\mu=1$.

  comment

• 1.II.8C

  #Vectors and Matrices

  2008

  Prove that the eigenvalues of a Hermitian matrix are real and that eigenvectors corresponding to distinct eigenvalues are orthogonal (i.e. $\mathbf{e}_{i}^{*} \cdot \mathbf{e}_{j}=0$ ).

  Let $A$ be a real $3 \times 3$ non-zero antisymmetric matrix. Show that $i A$ is Hermitian. Hence show that there exists a (complex) eigenvector $\mathbf{e}_{1}$ such $A \mathbf{e}_{1}=\lambda \mathbf{e}_{1}$, where $\lambda$ is imaginary.

  Show further that there exist real vectors $\mathbf{u}$ and $\mathbf{v}$ and a real number $\theta$ such that

  $$A \mathbf{u}=\theta \mathbf{v} \quad \text { and } \quad A \mathbf{v}=-\theta \mathbf{u}$$

  Show also that $A$ has a real eigenvector $\mathbf{e}_{3}$ such that $A \mathbf{e}_{3}=0$.

  Let $R=I+\sum_{n=1}^{\infty} \frac{A^{n}}{n !}$. By considering the action of $R$ on $\mathbf{u}, \mathbf{v}$ and $\mathbf{e}_{3}$, show that $R$ is a rotation matrix.

  comment

• 3.I.1E

  #Groups

  2008

  Define the signature $\epsilon(\sigma)$ of a permutation $\sigma \in S_{n}$, and show that the map $\epsilon: S_{n} \rightarrow\{-1,1\}$ is a homomorphism.

  Define the alternating group $A_{n}$, and prove that it is a subgroup of $S_{n}$. Is $A_{n}$ a normal subgroup of $S_{n}$ ? Justify your answer.

  comment

• 3.I.2E

  #Groups

  2008

  What is the orthogonal group $O(n)$ ? What is the special orthogonal group $S O(n) ?$

  Show that every element of the special orthogonal group $S O(3)$ has an eigenvector with eigenvalue 1 . Is this also true for every element of the orthogonal group $O(3)$ ? Justify your answer.

  comment

• 3.II $. 7 \mathrm{E} \quad$

  #Groups

  2008

  Show that every Möbius map may be expressed as a composition of maps of the form $z \mapsto z+a, z \mapsto \lambda z$ and $z \mapsto 1 / z$ (where $a$ and $\lambda$ are complex numbers).

  Which of the following statements are true and which are false? Justify your answers.

  (i) Every Möbius map that fixes $\infty$ may be expressed as a composition of maps of the form $z \mapsto z+a$ and $z \mapsto \lambda z$ (where $a$ and $\lambda$ are complex numbers).

  (ii) Every Möbius map that fixes 0 may be expressed as a composition of maps of the form $z \mapsto \lambda z$ and $z \mapsto 1 / z$ (where $\lambda$ is a complex number).

  (iii) Every Möbius map may be expressed as a composition of maps of the form $z \mapsto z+a$ and $z \mapsto 1 / z$ (where $a$ is a complex number).

  comment

• 3.II $. 8 \mathrm{E} \quad$

  #Groups

  2008

  State and prove the orbit-stabilizer theorem. Deduce that if $x$ is an element of a finite group $G$ then the order of $x$ divides the order of $G$

  Prove Cauchy's theorem, that if $p$ is a prime dividing the order of a finite group $G$ then $G$ contains an element of order $p$.

  For which positive integers $n$ does there exist a group of order $n$ in which every element (apart from the identity) has order 2?

  Give an example of an infinite group in which every element (apart from the identity) has order $2 .$

  comment

• 3.II $. 5 \mathrm{E} \quad$

  #Groups

  2008

  For a normal subgroup $H$ of a group $G$, explain carefully how to make the set of (left) cosets of $H$ into a group.

  For a subgroup $H$ of a group $G$, show that the following are equivalent:

  (i) $H$ is a normal subgroup of $G$;

  (ii) there exist a group $K$ and a homomorphism $\theta: G \rightarrow K$ such that $H$ is the kernel of $\theta$.

  Let $G$ be a finite group that has a proper subgroup $H$ of index $n$ (in other words, $|H|=|G| / n)$. Show that if $|G|>n$ ! then $G$ cannot be simple. [Hint: Let $G$ act on the set of left cosets of $H$ by left multiplication.]

  comment

• $3 . \mathrm{II} . 6 \mathrm{E} \quad$

  #Groups

  2008

  Prove that two elements of $S_{n}$ are conjugate if and only if they have the same cycle type.

  Describe (without proof) a necessary and sufficient condition for a permutation $\sigma \in A_{n}$ to have the same conjugacy class in $A_{n}$ as it has in $S_{n}$.

  For which $\sigma \in S_{n}$ is $\sigma$ conjugate (in $S_{n}$ ) to $\sigma^{2} ?$

  For every $\sigma \in A_{5}$, show that $\sigma$ is conjugate to $\sigma^{-1}$ (in $\left.A_{5}\right)$. Exhibit a positive integer $n$ and a $\sigma \in A_{n}$ such that $\sigma$ is not conjugate to $\sigma^{-1}$ (in $A_{n}$ ).

  comment

• 1.I $. 3 \mathrm{~F} \quad$

  #Analysis I

  2008

  State the ratio test for the convergence of a series.

  Find all real numbers $x$ such that the series

  $$\sum_{n=1}^{\infty} \frac{x^{n}-1}{n}$$

  converges.

  comment

• 1.I.4E

  #Analysis I

  2008

  Let $f:[0,1] \rightarrow \mathbb{R}$ be Riemann integrable, and for $0 \leqslant x \leqslant 1$ set $F(x)=\int_{0}^{x} f(t) d t$.

  Assuming that $f$ is continuous, prove that for every $0<x<1$ the function $F$ is differentiable at $x$, with $F^{\prime}(x)=f(x)$.

  If we do not assume that $f$ is continuous, must it still be true that $F$ is differentiable at every $0<x<1$ ? Justify your answer.

  comment

• 1.II $. 9 \mathrm{~F} \quad$

  #Analysis I

  2008

  Investigate the convergence of the series (i) $\sum_{n=2}^{\infty} \frac{1}{n^{p}(\log n)^{q}}$ (ii) $\sum_{n=3}^{\infty} \frac{1}{n(\log \log n)^{r}}$

  for positive real values of $p, q$ and $r$.

  [You may assume that for any positive real value of $\alpha, \log n<n^{\alpha}$ for $n$ sufficiently large. You may assume standard tests for convergence, provided that they are clearly stated.]

  comment

• 1.II.10D

  #Analysis I

  2008

  (a) State and prove the intermediate value theorem.

  (b) An interval is a subset $I$ of $\mathbb{R}$ with the property that if $x$ and $y$ belong to $I$ and $x<z<y$ then $z$ also belongs to $I$. Prove that if $I$ is an interval and $f$ is a continuous function from $I$ to $\mathbb{R}$ then $f(I)$ is an interval.

  (c) For each of the following three pairs $(I, J)$ of intervals, either exhibit a continuous function $f$ from $I$ to $\mathbb{R}$ such that $f(I)=J$ or explain briefly why no such continuous function exists: (i) $I=[0,1], \quad J=[0, \infty)$; (ii) $I=(0,1], \quad J=[0, \infty)$; (iii) $I=(0,1], \quad J=(-\infty, \infty)$.

  comment

• 1.II.11D

  #Analysis I

  2008

  (a) Let $f$ and $g$ be functions from $\mathbb{R}$ to $\mathbb{R}$ and suppose that both $f$ and $g$ are differentiable at the real number $x$. Prove that the product $f g$ is also differentiable at $x$.

  (b) Let $f$ be a continuous function from $\mathbb{R}$ to $\mathbb{R}$ and let $g(x)=x^{2} f(x)$ for every $x$. Prove that $g$ is differentiable at $x$ if and only if either $x=0$ or $f$ is differentiable at $x$.

  (c) Now let $f$ be any continuous function from $\mathbb{R}$ to $\mathbb{R}$ and let $g(x)=f(x)^{2}$ for every $x$. Prove that $g$ is differentiable at $x$ if and only if at least one of the following two possibilities occurs:

  (i) $f$ is differentiable at $x$;

  (ii) $f(x)=0$ and

  $$\frac{f(x+h)}{|h|^{1 / 2}} \longrightarrow 0 \quad \text { as } \quad h \rightarrow 0$$

  comment

• 1.II.12E

  #Analysis I

  2008

  Let $\sum_{n=0}^{\infty} a_{n} z^{n}$ be a complex power series. Prove that there exists an $R \in[0, \infty]$ such that the series converges for every $z$ with $|z|<R$ and diverges for every $z$ with $|z|>R$.

  Find the value of $R$ for each of the following power series: (i) $\sum_{n=1}^{\infty} \frac{1}{n^{2}} z^{n}$; (ii) $\sum_{n=0}^{\infty} z^{n !}$.

  In each case, determine at which points on the circle $|z|=R$ the series converges.

  comment

• 2.I.1A

  #Differential Equations

  2008

  Let $a$ be a positive constant. Find the solution to the differential equation

  $$\frac{d^{4} y}{d x^{4}}-a^{4} y=\mathrm{e}^{-a x}$$

  that satisfies $y(0)=1$ and $y \rightarrow 0$ as $x \rightarrow \infty$.

  comment

• 2.I.2A

  #Differential Equations

  2008

  Find the fixed points of the difference equation

  $$u_{n+1}=\lambda u_{n}\left(1-u_{n}^{2}\right)$$

  Show that a stable fixed point exists when $-1<\lambda<1$ and also when $1<\lambda<2$.

  comment

• 2.II.5A

  #Differential Equations

  2008

  Two cups of hot tea at temperatures $T_{1}(t)$ and $T_{2}(t)$ cool in a room at ambient constant temperature $T_{\infty}$. Initially $T_{1}(0)=T_{2}(0)=T_{0}>T_{\infty}$.

  Cup 1 has cool milk added instantaneously at $t=1$; in contrast, cup 2 has cool milk added at a constant rate for $1 \leqslant t \leqslant 2$. Briefly explain the use of the differential equations

  $$\begin{aligned} &\frac{d T_{1}}{d t}=-a\left(T_{1}-T_{\infty}\right)-\delta(t-1) \\ &\frac{d T_{2}}{d t}=-a\left(T_{2}-T_{\infty}\right)-H(t-1)+H(t-2) \end{aligned}$$

  where $\delta(t)$ and $H(t)$ are the Dirac delta and Heaviside functions respectively, and $a$ is a positive constant.

  (i) Show that for $0 \leqslant t<1$

  $$T_{1}(t)=T_{2}(t)=T_{\infty}+\left(T_{0}-T_{\infty}\right) \mathrm{e}^{-a t}$$

  (ii) Determine the jump (discontinuity) condition for $T_{1}$ at $t=1$ and hence find $T_{1}(t)$ for $t>1$.

  (iii) Using continuity of $T_{2}(t)$ at $t=1$ show that for $1<t<2$

  $$T_{2}(t)=T_{\infty}-\frac{1}{a}+\mathrm{e}^{-a t}\left(T_{0}-T_{\infty}+\frac{1}{a} \mathrm{e}^{a}\right)$$

  (iv) Compute $T_{2}(t)$ for $t>2$ and show that for $t>2$

  $$T_{1}(t)-T_{2}(t)=\left(\frac{1}{a} \mathrm{e}^{a}-1-\frac{1}{a}\right) \mathrm{e}^{(1-t) a}$$

  (v) Find the time $t^{*}$, after $t=1$, at which $T_{1}=T_{2}$.

  comment

• 2.II.6A

  #Differential Equations

  2008

  The linear second-order differential equation

  $$\frac{d^{2} y}{d x^{2}}+p(x) \frac{d y}{d x}+q(x) y=0$$

  has linearly independent solutions $y_{1}(x)$ and $y_{2}(x)$. Define the Wronskian $W$ of $y_{1}(x)$ and $y_{2}(x)$.

  Suppose that $y_{1}(x)$ is known. Use the Wronskian to write down a first-order differential equation for $y_{2}(x)$. Hence express $y_{2}(x)$ in terms of $y_{1}(x)$ and $W$.

  Show further that $W$ satisfies the differential equation

  $$\frac{d W}{d x}+p(x) W=0$$

  Verify that $y_{1}(x)=x^{2}-2 x+1$ is a solution of

  $$(x-1)^{2} \frac{d^{2} y}{d x^{2}}+(x-1) \frac{d y}{d x}-4 y=0 .$$

  Compute the Wronskian and hence determine a second, linearly independent, solution of $(*)$.

  comment

• 2.II.7A

  #Differential Equations

  2008

  Find the first three non-zero terms in series solutions $y_{1}(x)$ and $y_{2}(x)$ for the differential equation

  $$x \frac{d^{2} y}{d x^{2}}-\frac{d y}{d x}+4 x^{3} y=0$$

  that satisfy the boundary conditions

  $$\begin{aligned} &y_{1}(0)=a, \quad y_{1}^{\prime \prime}(0)=0, \\ &y_{2}(0)=0, \quad y_{2}^{\prime \prime}(0)=b, \end{aligned}$$

  where $a$ and $b$ are constants.

  Determine the value of $\alpha$ such that the change of variable $u=x^{\alpha}$ transforms $(*)$ into a differential equation with constant coefficients. Hence find the general solution of $(*)$.

  comment

• 2.II.8A

  #Differential Equations

  2008

  Consider the function

  $$f(x, y)=x^{2}+y^{2}-\frac{1}{2} x^{4}-b x^{2} y^{2}-\frac{1}{2} y^{4}$$

  where $b$ is a positive constant.

  Find the critical points of $f(x, y)$, assuming $b \neq 1$. Determine the type of each critical point and sketch contours of constant $f(x, y)$ in the two cases (i) $b<1$ and (ii) $b>1$.

  For $b=1$ describe the subset of the $(x, y)$ plane on which $f(x, y)$ attains its maximum value.

  comment

• 4.I.3B

  #Dynamics

  2008

  Two particles of masses $m_{1}$ and $m_{2}$ have position vectors $\mathbf{r}_{1}(t)$ and $\mathbf{r}_{2}(t)$ at time $t$. The particle of mass $m_{1}$ experiences a force $\mathbf{f}$ and the particle of mass $m_{2}$ experiences a force $-\mathbf{f}$. Show that the centre of mass moves at a constant velocity, and derive an equation of motion for the relative separation $\mathbf{r}=\mathbf{r}_{1}-\mathbf{r}_{2}$.

  Now suppose that $\mathbf{f}=-k \mathbf{r}$, where $k$ is a positive constant. The particles are initially at rest a distance $d$ apart. Calculate how long it takes before they collide.

  comment

• 4.I.4B

  #Dynamics

  2008

  A damped pendulum is described by the equation

  $$\ddot{x}+2 k \dot{x}+\omega^{2} \sin x=0,$$

  where $k$ and $\omega$ are real positive constants. Determine the location of all the equilibrium points of the system. Classify the equilibrium points in the two cases $k>\omega$ and $k<\omega$.

  comment

• 4.II.9B

  #Dynamics

  2008

  An octopus of mass $m_{o}$ swims horizontally in a straight line by jet propulsion. At time $t=0$ the octopus is at rest, and its internal cavity contains a mass $m_{w}$ of water (so that the mass of the octopus plus water is $m_{o}+m_{w}$ ). It then starts to move by ejecting the water backwards at a constant rate $Q$ units of mass per unit time and at a constant speed $V$ relative to itself. The speed of the octopus at time $t$ is $u(t)$, and the mass of the octopus plus remaining water is $m(t)$. The drag force exerted by the surrounding water on the octopus is $\alpha u^{2}$, where $\alpha$ is a positive constant.

  Show that, during ejection of water, the equation of motion is

  $$m \frac{d u}{d t}=Q V-\alpha u^{2} .$$

  Once all the water has been ejected, at time $t=t_{c}$, the octopus has attained a velocity $u_{c}$. Use dimensional analysis to show that

  $$u_{c}=V f(\lambda, \mu)$$

  where $\lambda$ and $\mu$ are two dimensionless quantities and $f$ is an unknown function. Solve equation (1) to find an explicit expression for $u_{c}$, and verify that your answer is of the form given in equation (2).

  comment

• 4.II.10B

  #Dynamics

  2008

  A body of mass $m$ moves in the gravitational field of a much larger spherical object of mass $M$ located at the origin. Starting from the equations of motion

  $$\begin{aligned} \ddot{r}-r \dot{\theta}^{2} &=-\frac{G M}{r^{2}}, \\ r \ddot{\theta}+2 \dot{r} \dot{\theta} &=0, \end{aligned}$$

  show that:

  (i) the body moves in an orbit of the form

  $$\frac{h^{2} u}{G M}=1+e \cos \left(\theta-\theta_{0}\right)$$

  where $u=1 / r, h$ is the constant angular momentum per unit mass, and $e$ and $\theta_{0}$ are constants;

  (ii) the total energy of the body is

  $$E=\frac{m G^{2} M^{2}}{2 h^{2}}\left(e^{2}-1\right)$$

  A meteorite is moving very far from the Earth with speed $V$, and in the absence of the effect of the Earth's gravitational field would miss the Earth by a shortest distance $b$ (measured from the Earth's centre). Show that in the subsequent motion

  $$h=b V$$

  and

  $$e=\left[1+\frac{b^{2} V^{4}}{G^{2} M^{2}}\right]^{\frac{1}{2}}$$

  Use equation $(*)$ to find the distance of closest approach, and show that the meteorite will collide with the Earth if

  $$b<\left[R^{2}+\frac{2 G M R}{V^{2}}\right]^{\frac{1}{2}}$$

  where $R$ is the radius of the Earth.

  comment

• 4.II.11B

  #Dynamics

  2008

  An inertial reference frame $S$ and another reference frame $S^{\prime}$ have a common origin $O$, and $S^{\prime}$ rotates with angular velocity $\boldsymbol{\omega}(t)$ with respect to $S$. Show the following:

  (i) the rates of change of an arbitrary vector a $(t)$ in frames $S$ and $S^{\prime}$ are related by

  $$\left(\frac{d \mathbf{a}}{d t}\right)_{S}=\left(\frac{d \mathbf{a}}{d t}\right)_{S^{\prime}}+\boldsymbol{\omega} \times \mathbf{a}$$

  (ii) the accelerations in $S$ and $S^{\prime}$ are related by

  $$\left(\frac{d^{2} \mathbf{r}}{d t^{2}}\right)_{S}=\left(\frac{d^{2} \mathbf{r}}{d t^{2}}\right)_{S^{\prime}}+2 \boldsymbol{\omega} \times\left(\frac{d \mathbf{r}}{d t}\right)_{S^{\prime}}+\left(\frac{d \boldsymbol{\omega}}{d t}\right)_{S^{\prime}} \times \mathbf{r}+\boldsymbol{\omega} \times(\boldsymbol{\omega} \times \mathbf{r})$$

  where $\mathbf{r}(t)$ is the position vector relative to $O$.

  A train of mass $m$ at latitude $\lambda$ in the Northern hemisphere travels North with constant speed $V$ along a track which runs North-South. Find the magnitude and direction of the sideways force exerted on the train by the track.

  comment

• 4.II.12B

  #Dynamics

  2008

  A uniform solid sphere has mass $m$ and radius $R_{0}$. Calculate the moment of inertia of the sphere about an axis through its centre.

  A long hollow circular cylinder of radius $R_{1}$ (where $R_{1}>2 R_{0}$ ) is held fixed with its axis horizontal. The sphere is held initially at rest in contact with the inner surface of the cylinder at $\theta=\alpha$, where $\alpha<\pi / 2$ and $\theta$ is the angle between the line joining the centre of the sphere to the cylinder axis and the downward vertical, as shown in the figure.

  

  The sphere is then released, and rolls without slipping. Show that the angular velocity of the sphere is

  $$\left(\frac{R_{1}-R_{0}}{R_{0}}\right) \dot{\theta} .$$

  Show further that the time, $T_{R}$, it takes the sphere to reach $\theta=0$ is

  $$T_{R}=\sqrt{\frac{7\left(R_{1}-R_{0}\right)}{10 g}} \quad \int_{0}^{\alpha} \frac{d \theta}{(\cos \theta-\cos \alpha)^{\frac{1}{2}}}$$

  If, instead, the cylinder and sphere surfaces are highly polished, so that the sphere now slides without rolling, find the time, $T_{S}$, it takes to reach $\theta=0$.

  Without further calculation, explain qualitatively how your answers for $T_{R}$ and $T_{S}$ would be affected if the solid sphere were replaced by a hollow spherical shell of the same radius and mass.

  comment

• 4.I.1D

  #Numbers and Sets

  2008

  Let $A, B$ and $C$ be non-empty sets and let $f: A \rightarrow B$ and $g: B \rightarrow C$ be two functions. For each of the following statements, give either a brief justification or a counterexample.

  (i) If $f$ is an injection and $g$ is a surjection, then $g \circ f$ is a surjection.

  (ii) If $f$ is an injection and $g$ is an injection, then there exists a function $h: C \rightarrow A$ such that $h \circ g \circ f$ is equal to the identity function on $A$.

  (iii) If $X$ and $Y$ are subsets of $A$ then $f(X \cap Y)=f(X) \cap f(Y)$.

  (iv) If $Z$ and $W$ are subsets of $B$ then $f^{-1}(Z \cap W)=f^{-1}(Z) \cap f^{-1}(W)$.

  comment

• 4.I.2D

  #Numbers and Sets

  2008

  (a) Let $\sim$ be an equivalence relation on a set $X$. What is an equivalence class of $\sim ?$ Prove that the equivalence classes of $\sim$ form a partition of $X$.

  (b) Let $\mathbb{Z}^{+}$be the set of all positive integers. Let a relation $\sim$ be defined on $\mathbb{Z}^{+}$by setting $m \sim n$ if and only if $m / n=2^{k}$ for some (not necessarily positive) integer $k$. Prove that $\sim$ is an equivalence relation, and give an example of a set $A \subset \mathbb{Z}^{+}$that contains precisely one element of each equivalence class.

  comment

• 4.II.5D

  #Numbers and Sets

  2008

  (a) Define the notion of a countable set, and prove that the set $\mathbb{N} \times \mathbb{N}$ is countable. Deduce that if $X$ and $Y$ are countable sets then $X \times Y$ is countable, and also that a countable union of countable sets is countable.

  (b) If $A$ is any set of real numbers, define $\phi(A)$ to be the set of all real roots of non-zero polynomials that have coefficients in $A$. Now suppose that $A_{0}$ is a countable set of real numbers and define a sequence $A_{1}, A_{2}, A_{3}, \ldots$ by letting each $A_{n}$ be equal to $\phi\left(A_{n-1}\right)$. Prove that the union $\bigcup_{n=1}^{\infty} A_{n}$ is countable.

  (c) Deduce that there is a countable set $X$ that contains the real numbers 1 and $\pi$ and has the further property that if $P$ is any non-zero polynomial with coefficients in $X$, then all real roots of $P$ belong to $X$.

  comment

• 4.II.6D

  #Numbers and Sets

  2008

  (a) Let $a$ and $m$ be integers with $1 \leqslant a<m$ and let $d=(a, m)$ be their highest common factor. For any integer $b$, prove that $b$ is a multiple of $d$ if and only if there exists an integer $r$ satisfying the equation $a r \equiv b \operatorname{(\operatorname {mod}m)\text {,andshowthatinthiscasethereare}}$ exactly $d$ solutions to the equation that are distinct $\bmod m$.

  Deduce that the equation $a r \equiv b(\bmod m)$ has a solution if and only if $b(m / d) \equiv 0$ $(\bmod m)$.

  (b) Let $p$ be a prime and let $\mathbb{Z}_{p}^{*}$ be the multiplicative group of non-zero integers $\bmod p$. An element $x$ of $\mathbb{Z}_{p}^{*}$ is called a $k$ th power $(\bmod p)$ if $x \equiv y^{k}(\bmod p)$ for some integer $y$. It can be shown that $\mathbb{Z}_{p}^{*}$ has a generator: that is, an element $u$ such that every element of $\mathbb{Z}_{p}^{*}$ is a power of $u$. Assuming this result, deduce that an element $x$ of $\mathbb{Z}_{p}^{*}$ is a $k$ th power $(\bmod p)$ if and only if $x^{(p-1) / d} \equiv 1(\bmod p)$, where $d$ is now the highest common factor of $k$ and $p-1$.

  (c) How many 437th powers are there mod 1013? [You may assume that 1013 is a prime number.]

  comment

• 4.II.7D

  #Numbers and Sets

  2008

  (a) Let $\mathbb{F}$ be a field such that the equation $x^{2}=-1$ has no solution in $\mathbb{F}$. Prove that if $x$ and $y$ are elements of $\mathbb{F}$ such that $x^{2}+y^{2}=0$, then both $x$ and $y$ must equal 0 .

  Prove that $\mathbb{F}^{2}$ can be made into a field, with operations

  $$(x, y)+(z, w)=(x+z, y+w)$$

  and

  $$(x, y) \cdot(z, w)=(x z-y w, x w+y z) .$$

  (b) Let $p$ be a prime of the form $4 m+3$. Prove that $-1$ is not a square $(\bmod p)$, and deduce that there exists a field with exactly $p^{2}$ elements.

  comment

• 4.II.8D

  #Numbers and Sets

  2008

  Let $q$ be a positive integer. For every positive integer $k$, define a number $c_{k}$ by the formula

  $$c_{k}=(q+k-1) \frac{q !}{(q+k) !}$$

  Prove by induction that

  $$\sum_{k=1}^{n} c_{k}=1-\frac{q !}{(q+n) !}$$

  for every $n \geqslant 1$, and hence evaluate the infinite $\operatorname{sum} \sum_{k=1}^{\infty} c_{k}$.

  Let $a_{1}, a_{2}, a_{3}, \ldots$ be a sequence of integers satisfying the inequality $0 \leqslant a_{n}<n$ for every $n$. Prove that the series $\sum_{n=1}^{\infty} a_{n} / n$ ! is convergent. Prove also that its limit is irrational if and only if $a_{n} \leqslant n-2$ for infinitely many $n$ and $a_{m}>0$ for infinitely many $m$.

  comment

• 2.I.3F

  #Probability

  2008

  There are $n$ socks in a drawer, three of which are red and the rest black. John chooses his socks by selecting two at random from the drawer and puts them on. He is three times more likely to wear socks of different colours than to wear matching red socks. Find $n$.

  For this value of $n$, what is the probability that John wears matching black socks?

  comment

• 2.I.4F

  #Probability

  2008

  A standard six-sided die is thrown. Calculate the mean and variance of the number shown.

  The die is thrown $n$ times. By using Chebyshev's inequality, find an $n$ such that

  $$\mathbb{P}\left(\left|\frac{Y_{n}}{n}-3.5\right|>1.5\right) \leqslant 0.1$$

  where $Y_{n}$ is the total of the numbers shown over the $n$ throws.

  comment

• 2.II.9F

  #Probability

  2008

  A population evolves in generations. Let $Z_{n}$ be the number of members in the $n$th generation, with $Z_{0}=1$. Each member of the $n$th generation gives birth to a family, possibly empty, of members of the $(n+1)$ th generation; the size of this family is a random variable and we assume that the family sizes of all individuals form a collection of independent identically distributed random variables each with generating function $G$.

  Let $G_{n}$ be the generating function of $Z_{n}$. State and prove a formula for $G_{n}$ in terms of $G$. Determine the mean of $Z_{n}$ in terms of the mean of $Z_{1}$.

  Suppose that $Z_{1}$ has a Poisson distribution with mean $\lambda$. Find an expression for $x_{n+1}$ in terms of $x_{n}$, where $x_{n}=\mathbb{P}\left\{Z_{n}=0\right\}$ is the probability that the population becomes extinct by the $n$th generation.

  comment

• 2.II.10F

  #Probability

  2008

  $A$ and $B$ play a series of games. The games are independent, and each is won by $A$ with probability $p$ and by $B$ with probability $1-p$. The players stop when the number of wins by one player is three greater than the number of wins by the other player. The player with the greater number of wins is then declared overall winner.

  (i) Find the probability that exactly 5 games are played.

  (ii) Find the probability that $A$ is the overall winner.

  comment

• 2.II.11F

  #Probability

  2008

  Let $X$ and $Y$ have the bivariate normal density function

  $$f(x, y)=\frac{1}{2 \pi \sqrt{1-\rho^{2}}} \exp \left\{-\frac{1}{2\left(1-\rho^{2}\right)}\left(x^{2}-2 \rho x y+y^{2}\right)\right\}, \quad x, y \in \mathbb{R},$$

  for fixed $\rho \in(-1,1)$. Let $Z=(Y-\rho X) / \sqrt{1-\rho^{2}}$. Show that $X$ and $Z$ are independent $N(0,1)$ variables. Hence, or otherwise, determine

  $$\mathbb{P}(X>0, Y>0) .$$

  comment

• 2.II.12F

  #Probability

  2008

  The discrete random variable $Y$ has distribution given by

  $$\mathbb{P}(Y=k)=(1-p)^{k-1} p, \quad k=1,2, \ldots$$

  where $p \in(0,1)$. Determine the mean and variance of $Y$.

  A fair die is rolled until all 6 scores have occurred. Find the mean and standard deviation of the number of rolls required.

  [Hint: $\left.\sum_{i=1}^{6}\left(\frac{6}{i}\right)^{2}=53.7\right]$

  comment

• 3.I.3C

  #Vector Calculus

  2008

  A curve is given in terms of a parameter $t$ by

  $$\mathbf{x}(t)=\left(t-\frac{1}{3} t^{3}, t^{2}, t+\frac{1}{3} t^{3}\right)$$

  (i) Find the arc length of the curve between the points with $t=0$ and $t=1$.

  (ii) Find the unit tangent vector at the point with parameter $t$, and show that the principal normal is orthogonal to the $z$ direction at each point on the curve.

  comment

• 3.I.4C

  #Vector Calculus

  2008

  What does it mean to say that $T_{i j}$ transforms as a second rank tensor?

  If $T_{i j}$ transforms as a second rank tensor, show that $\frac{\partial T_{i j}}{\partial x_{j}}$ transforms as a vector.

  comment

• 3.II.9C

  #Vector Calculus

  2008

  Let $\mathbf{F}=\boldsymbol{\omega} \times(\boldsymbol{\omega} \times \mathbf{x})$, where $\mathbf{x}$ is the position vector and $\boldsymbol{\omega}$ is a uniform vector field.

  (i) Use the divergence theorem to evaluate the surface integral $\int_{S} \mathbf{F} \cdot d \mathbf{S}$, where $S$ is the closed surface of the cube with vertices $(\pm 1, \pm 1, \pm 1)$.

  (ii) Show that $\boldsymbol{\nabla} \times \mathbf{F}=0$. Show further that the scalar field $\phi$ given by

  $$\phi=\frac{1}{2}(\boldsymbol{\omega} \cdot \mathbf{x})^{2}-\frac{1}{2}(\boldsymbol{\omega} \cdot \boldsymbol{\omega})(\mathbf{x} \cdot \mathbf{x})$$

  satisfies $\mathbf{F}=\boldsymbol{\nabla} \phi$. Describe geometrically the surfaces of constant $\phi$.

  comment

• 3.II.10C

  #Vector Calculus

  2008

  Find the effect of a rotation by $\pi / 2$ about the $z$-axis on the tensor

  $$\left(\begin{array}{lll} S_{11} & S_{12} & S_{13} \\ S_{21} & S_{22} & S_{23} \\ S_{31} & S_{32} & S_{33} \end{array}\right)$$

  Hence show that the most general isotropic tensor of rank 2 is $\lambda \delta_{i j}$, where $\lambda$ is an arbitrary scalar.

  Prove that there is no non-zero isotropic vector, and write down without proof the most general isotropic tensor of rank 3 .

  Deduce that if $T_{i j k l}$ is an isotropic tensor then the following results hold, for some scalars $\mu$ and $\nu$ : (i) $\epsilon_{i j k} T_{i j k l}=0$; (ii) $\delta_{i j} T_{i j k l}=\mu \delta_{k l}$; (iii) $\epsilon_{i j m} T_{i j k l}=\nu \epsilon_{k l m}$.

  Verify these three results in the case $T_{i j k l}=\alpha \delta_{i j} \delta_{k l}+\beta \delta_{i k} \delta_{j l}+\gamma \delta_{i l} \delta_{j k}$, expressing $\mu$ and $\nu$ in terms of $\alpha, \beta$ and $\gamma$.

  comment

• 3.II.11C

  #Vector Calculus

  2008

  Let $V$ be a volume in $\mathbb{R}^{3}$ bounded by a closed surface $S$.

  (a) Let $f$ and $g$ be twice differentiable scalar fields such that $f=1$ on $S$ and $\nabla^{2} g=0$ in $V$. Show that

  $$\int_{V} \nabla f \cdot \nabla g d V=0$$

  (b) Let $V$ be the sphere $|\mathbf{x}| \leqslant a$. Evaluate the integral

  $$\int_{V} \nabla u \cdot \nabla v d V$$

  in the cases where $u$ and $v$ are given in spherical polar coordinates by: (i) $u=r, \quad v=r \cos \theta$; (ii) $u=r / a, \quad v=r^{2} \cos ^{2} \theta$; (iii) $u=r / a, \quad v=1 / r$.

  Comment on your results in the light of part (a).

  comment

• 3.II.12C

  #Vector Calculus

  2008

  Let $A$ be the closed planar region given by

  $$y \leqslant x \leqslant 2 y, \quad \frac{1}{y} \leqslant x \leqslant \frac{2}{y} .$$

  (i) Evaluate by means of a suitable change of variables the integral

  $$\int_{A} \frac{x}{y} d x d y$$

  (ii) Let $C$ be the boundary of $A$. Evaluate the line integral

  $$\oint_{C} \frac{x^{2}}{2 y} d y-d x$$

  by integrating along each section of the boundary.

  (iii) Comment on your results.

  comment

• 1.I.1E

  #Linear Algebra

  2008

  Let $A$ be an $n \times n$ matrix over $\mathbb{C}$. What does it mean to say that $\lambda$ is an eigenvalue of $A$ ? Show that $A$ has at least one eigenvalue. For each of the following statements, provide a proof or a counterexample as appropriate.

  (i) If $A$ is Hermitian, all eigenvalues of $A$ are real.

  (ii) If all eigenvalues of $A$ are real, $A$ is Hermitian.

  (iii) If all entries of $A$ are real and positive, all eigenvalues of $A$ have positive real part.

  (iv) If $A$ and $B$ have the same trace and determinant then they have the same eigenvalues.

  comment

• 1.II.9E

  #Linear Algebra

  2008

  Let $A$ be an $m \times n$ matrix of real numbers. Define the row rank and column rank of $A$ and show that they are equal.

  Show that if a matrix $A^{\prime}$ is obtained from $A$ by elementary row and column operations then $\operatorname{rank}\left(A^{\prime}\right)=\operatorname{rank}(A)$.

  Let $P, Q$ and $R$ be $n \times n$ matrices. Show that the $2 n \times 2 n$ matrices $\left(\begin{array}{cc}P Q & 0 \\ Q & Q R\end{array}\right)$ and $\left(\begin{array}{cc}0 & P Q R \\ Q & 0\end{array}\right)$ have the same rank.

  Hence, or otherwise, prove that

  $$\operatorname{rank}(P Q)+\operatorname{rank}(Q R) \leqslant \operatorname{rank}(Q)+\operatorname{rank}(P Q R)$$

  comment

• 2.I.1E

  #Linear Algebra

  2008

  Suppose that $V$ and $W$ are finite-dimensional vector spaces over $\mathbb{R}$. What does it mean to say that $\psi: V \rightarrow W$ is a linear map? State the rank-nullity formula. Using it, or otherwise, prove that a linear map $\psi: V \rightarrow V$ is surjective if, and only if, it is injective.

  Suppose that $\psi: V \rightarrow V$ is a linear map which has a right inverse, that is to say there is a linear map $\phi: V \rightarrow V$ such that $\psi \phi=\mathrm{id}_{V}$, the identity map. Show that $\phi \psi=\mathrm{id}_{V}$.

  Suppose that $A$ and $B$ are two $n \times n$ matrices over $\mathbb{R}$ such that $A B=I$. Prove that $B A=I$.

  comment

• 2.II.10E

  #Linear Algebra

  2008

  Define the determinant $\operatorname{det}(A)$ of an $n \times n$ square matrix $A$ over the complex numbers. If $A$ and $B$ are two such matrices, show that $\operatorname{det}(A B)=\operatorname{det}(A) \operatorname{det}(B)$.

  Write $p_{M}(\lambda)=\operatorname{det}(M-\lambda I)$ for the characteristic polynomial of a matrix $M$. Let $A, B, C$ be $n \times n$ matrices and suppose that $C$ is nonsingular. Show that $p_{B C}=p_{C B}$. Taking $C=A+t I$ for appropriate values of $t$, or otherwise, deduce that $p_{B A}=p_{A B}$.

  Show that if $p_{A}=p_{B}$ then $\operatorname{tr}(A)=\operatorname{tr}(B)$. Which of the following statements is true for all $n \times n$ matrices $A, B, C$ ? Justify your answers.

  (i) $p_{A B C}=p_{A C B}$;

  (ii) $p_{A B C}=p_{B C A}$.

  comment

• 3.II.10E

  #Linear Algebra

  2008

  Let $k=\mathbb{R}$ or $\mathbb{C}$. What is meant by a quadratic form $q: k^{n} \rightarrow k$ ? Show that there is a basis $\left\{v_{1}, \ldots, v_{n}\right\}$ for $k^{n}$ such that, writing $x=x_{1} v_{1}+\ldots+x_{n} v_{n}$, we have $q(x)=a_{1} x_{1}^{2}+\ldots+a_{n} x_{n}^{2}$ for some scalars $a_{1}, \ldots, a_{n} \in\{-1,0,1\} .$

  Suppose that $k=\mathbb{R}$. Define the rank and signature of $q$ and compute these quantities for the form $q: \mathbb{R}^{3} \rightarrow \mathbb{R}$ given by $q(x)=-3 x_{1}^{2}+x_{2}^{2}+2 x_{1} x_{2}-2 x_{1} x_{3}+2 x_{2} x_{3}$.

  Suppose now that $k=\mathbb{C}$ and that $q_{1}, \ldots, q_{d}: \mathbb{C}^{n} \rightarrow \mathbb{C}$ are quadratic forms. If $n \geqslant 2^{d}$, show that there is some nonzero $x \in \mathbb{C}^{n}$ such that $q_{1}(x)=\ldots=q_{d}(x)=0$.

  comment

• 4.I.1E

  #Linear Algebra

  2008

  Describe (without proof) what it means to put an $n \times n$ matrix of complex numbers into Jordan normal form. Explain (without proof) the sense in which the Jordan normal form is unique.

  Put the following matrix in Jordan normal form:

  $$\left(\begin{array}{ccc} -7 & 3 & -5 \\ 7 & -1 & 5 \\ 17 & -6 & 12 \end{array}\right)$$

  comment

• 4.II.10E

  #Linear Algebra

  2008

  What is meant by a Hermitian matrix? Show that if $A$ is Hermitian then all its eigenvalues are real and that there is an orthonormal basis for $\mathbb{C}^{n}$ consisting of eigenvectors of $A$.

  A Hermitian matrix is said to be positive definite if $\langle A x, x\rangle>0$ for all $x \neq 0$. We write $A>0$ in this case. Show that $A$ is positive definite if, and only if, all of its eigenvalues are positive. Show that if $A>0$ then $A$ has a unique positive definite square root $\sqrt{A}$.

  Let $A, B$ be two positive definite Hermitian matrices with $A-B>0$. Writing $C=\sqrt{A}$ and $X=\sqrt{A}-\sqrt{B}$, show that $C X+X C>0$. By considering eigenvalues of $X$, or otherwise, show that $X>0$.

  comment

• 1.II.10G

  #Groups, Rings and Modules

  2008

  (i) Show that $A_{4}$ is not simple.

  (ii) Show that the group Rot $(D)$ of rotational symmetries of a regular dodecahedron is a simple group of order 60 .

  (iii) Show that $\operatorname{Rot}(D)$ is isomorphic to $A_{5}$.

  comment

• 2.I.2G

  #Groups, Rings and Modules

  2008

  What does it means to say that a complex number $\alpha$ is algebraic over $\mathbb{Q}$ ? Define the minimal polynomial of $\alpha$.

  Suppose that $\alpha$ satisfies a nonconstant polynomial $f \in \mathbb{Z}[X]$ which is irreducible over $\mathbb{Z}$. Show that there is an isomorphism $\mathbb{Z}[X] /(f) \cong \mathbb{Z}[\alpha]$.

  [You may assume standard results about unique factorisation, including Gauss's lemma.]

  comment

• 3.I.1G

  #Groups, Rings and Modules

  2008

  Let $G$ be the abelian group generated by elements $a, b, c, d$ subject to the relations

  $$4 a-2 b+2 c+12 d=0, \quad-2 b+2 c=0, \quad 2 b+2 c=0, \quad 8 a+4 c+24 d=0$$

  Express $G$ as a product of cyclic groups, and find the number of elements of $G$ of order 2 .

  comment

• $3 . \mathrm{II} . 11 \mathrm{G}$

  #Groups, Rings and Modules

  2008

  What is a Euclidean domain? Show that a Euclidean domain is a principal ideal domain.

  Show that $\mathbb{Z}[\sqrt{-7}]$ is not a Euclidean domain (for any choice of norm), but that the ring

  $$\mathbb{Z}\left[\frac{1+\sqrt{-7}}{2}\right]$$

  is Euclidean for the norm function $N(z)=z \bar{z}$.

  comment

• 2.II.11G

  #Groups, Rings and Modules

  2008

  Let $F$ be a field. Prove that every ideal of the ring $F\left[X_{1}, \ldots, X_{n}\right]$ is finitely generated.

  Consider the set

  $$R=\left\{p(X, Y)=\sum c_{i j} X^{i} Y^{j} \in F[X, Y] \mid c_{0 j}=c_{j 0}=0 \text { whenever } j>0\right\}$$

  Show that $R$ is a subring of $F[X, Y]$ which is not Noetherian.

  comment

• 4.I.2G

  #Groups, Rings and Modules

  2008

  Let $n \geq 2$ be an integer. Show that the polynomial $\left(X^{n}-1\right) /(X-1)$ is irreducible over $\mathbb{Z}$ if and only if $n$ is prime.

  [You may use Eisenstein's criterion without proof.]

  comment

• 4.II.11G

  #Groups, Rings and Modules

  2008

  Let $R$ be a ring and $M$ an $R$-module. What does it mean to say that $M$ is a free $R$-module? Show that $M$ is free if there exists a submodule $N \subseteq M$ such that both $N$ and $M / N$ are free.

  Let $M$ and $M^{\prime}$ be $R$-modules, and $N \subseteq M, N^{\prime} \subseteq M^{\prime}$ submodules. Suppose that $N \cong N^{\prime}$ and $M / N \cong M^{\prime} / N^{\prime}$. Determine (by proof or counterexample) which of the following statements holds:

  (1) If $N$ is free then $M \cong M^{\prime}$.

  (2) If $M / N$ is free then $M \cong M^{\prime}$.

  comment

• 1.I.2G

  #Geometry

  2008

  Show that any element of $S O(3, \mathbb{R})$ is a rotation, and that it can be written as the product of two reflections.

  comment

• 2.II.12G

  #Geometry

  2008

  Show that the area of a spherical triangle with angles $\alpha, \beta, \gamma$ is $\alpha+\beta+\gamma-\pi$. Hence derive the formula for the area of a convex spherical $n$-gon.

  Deduce Euler's formula $F-E+V=2$ for a decomposition of a sphere into $F$ convex polygons with a total of $E$ edges and $V$ vertices.

  A sphere is decomposed into convex polygons, comprising $m$ quadrilaterals, $n$ pentagons and $p$ hexagons, in such a way that at each vertex precisely three edges meet. Show that there are at most 7 possibilities for the pair $(m, n)$, and that at least 3 of these do occur.

  comment

• 3.I.2G

  #Geometry

  2008

  A smooth surface in $\mathbb{R}^{3}$ has parametrization

  $$\sigma(u, v)=\left(u-\frac{u^{3}}{3}+u v^{2}, v-\frac{v^{3}}{3}+u^{2} v, u^{2}-v^{2}\right) .$$

  Show that a unit normal vector at the point $\sigma(u, v)$ is

  $$\left(\frac{-2 u}{1+u^{2}+v^{2}}, \frac{2 v}{1+u^{2}+v^{2}}, \frac{1-u^{2}-v^{2}}{1+u^{2}+v^{2}}\right)$$

  and that the curvature is $\frac{-4}{\left(1+u^{2}+v^{2}\right)^{4}}$.

  comment

• 3.II.12G

  #Geometry

  2008

  Let $D$ be the unit disc model of the hyperbolic plane, with metric

  $$\frac{4|d \zeta|^{2}}{\left(1-|\zeta|^{2}\right)^{2}}$$

  (i) Show that the group of Möbius transformations mapping $D$ to itself is the group of transformations

  $$\zeta \mapsto \omega \frac{\zeta-\lambda}{\bar{\lambda} \zeta-1},$$

  where $|\lambda|<1$ and $|\omega|=1$.

  (ii) Assuming that the transformations in (i) are isometries of $D$, show that any hyperbolic circle in $D$ is a Euclidean circle.

  (iii) Let $P$ and $Q$ be points on the unit circle with $\angle P O Q=2 \alpha$. Show that the hyperbolic distance from $O$ to the hyperbolic line $P Q$ is given by

  $$2 \tanh ^{-1}\left(\frac{1-\sin \alpha}{\cos \alpha}\right)$$

  (iv) Deduce that if $a>2 \tanh ^{-1}(2-\sqrt{3})$ then no hyperbolic open disc of radius $a$ is contained in a hyperbolic triangle.

  comment

• 4.II.12G

  #Geometry

  2008

  Let $\gamma:[a, b] \rightarrow S$ be a curve on a smoothly embedded surface $S \subset \mathbf{R}^{3}$. Define the energy of $\gamma$. Show that if $\gamma$ is a stationary point for the energy for proper variations of $\gamma$, then $\gamma$ satisfies the geodesic equations

  $$\begin{aligned} \frac{d}{d t}\left(E \dot{\gamma}_{1}+F \dot{\gamma}_{2}\right) &=\frac{1}{2}\left(E_{u} \dot{\gamma}_{1}^{2}+2 F_{u} \dot{\gamma}_{1} \dot{\gamma}_{2}+G_{u} \dot{\gamma}_{2}^{2}\right) \\ \frac{d}{d t}\left(F \dot{\gamma}_{1}+G \dot{\gamma}_{2}\right) &=\frac{1}{2}\left(E_{v} \dot{\gamma}_{1}^{2}+2 F_{v} \dot{\gamma}_{1} \dot{\gamma}_{2}+G_{v} \dot{\gamma}_{2}^{2}\right) \end{aligned}$$

  where $\gamma=\left(\gamma_{1}, \gamma_{2}\right)$ in terms of a smooth parametrization $(u, v)$ for $S$, with first fundamental form $E d u^{2}+2 F d u d v+G d v^{2}$.

  Now suppose that for every $c, d$ the curves $u=c, v=d$ are geodesics.

  (i) Show that $(F / \sqrt{G})_{v}=(\sqrt{G})_{u}$ and $(F / \sqrt{E})_{u}=(\sqrt{E})_{v}$.

  (ii) Suppose moreover that the angle between the curves $u=c, v=d$ is independent of $c$ and $d$. Show that $E_{v}=0=G_{u}$.

  comment

• 1.II.11F

  #Analysis II

  2008

  State and prove the Contraction Mapping Theorem.

  Let $(X, d)$ be a nonempty complete metric space and $f: X \rightarrow X$ a mapping such that, for some $k>0$, the $k$ th iterate $f^{k}$ of $f$ (that is, $f$ composed with itself $k$ times) is a contraction mapping. Show that $f$ has a unique fixed point.

  Now let $X$ be the space of all continuous real-valued functions on $[0,1]$, equipped with the uniform norm $\|h\|_{\infty}=\sup \{|h(t)|: t \in[0,1]\}$, and let $\phi: \mathbb{R} \times[0,1] \rightarrow \mathbb{R}$ be a continuous function satisfying the Lipschitz condition

  $$|\phi(x, t)-\phi(y, t)| \leqslant M|x-y|$$

  for all $t \in[0,1]$ and all $x, y \in \mathbb{R}$, where $M$ is a constant. Let $F: X \rightarrow X$ be defined by

  $$F(h)(t)=g(t)+\int_{0}^{t} \phi(h(s), s) d s$$

  where $g$ is a fixed continuous function on $[0,1]$. Show by induction on $n$ that

  $$\left|F^{n}(h)(t)-F^{n}(k)(t)\right| \leqslant \frac{M^{n} t^{n}}{n !}\|h-k\|_{\infty}$$

  for all $h, k \in X$ and all $t \in[0,1]$. Deduce that the integral equation

  $$f(t)=g(t)+\int_{0}^{t} \phi(f(s), s) d s$$

  has a unique continuous solution $f$ on $[0,1]$.

  comment

• 2.I.3F

  #Analysis II

  2008

  Explain what is meant by the statement that a sequence $\left(f_{n}\right)$ of functions defined on an interval $[a, b]$ converges uniformly to a function $f$. If $\left(f_{n}\right)$ converges uniformly to $f$, and each $f_{n}$ is continuous on $[a, b]$, prove that $f$ is continuous on $[a, b]$.

  Now suppose additionally that $\left(x_{n}\right)$ is a sequence of points of $[a, b]$ converging to a limit $x$. Prove that $f_{n}\left(x_{n}\right) \rightarrow f(x)$.

  comment

• 2.II.13F

  #Analysis II

  2008

  Let $\left(u_{n}(x): n=0,1,2, \ldots\right)$ be a sequence of real-valued functions defined on a subset $E$ of $\mathbb{R}$. Suppose that for all $n$ and all $x \in E$ we have $\left|u_{n}(x)\right| \leqslant M_{n}$, where $\sum_{n=0}^{\infty} M_{n}$ converges. Prove that $\sum_{n=0}^{\infty} u_{n}(x)$ converges uniformly on $E$.

  Now let $E=\mathbb{R} \backslash \mathbb{Z}$, and consider the series $\sum_{n=0}^{\infty} u_{n}(x)$, where $u_{0}(x)=1 / x^{2}$ and

  $$u_{n}(x)=1 /(x-n)^{2}+1 /(x+n)^{2}$$

  for $n>0$. Show that the series converges uniformly on $E_{R}=\{x \in E:|x|<R\}$ for any real number $R$. Deduce that $f(x)=\sum_{n=0}^{\infty} u_{n}(x)$ is a continuous function on $E$. Does the series converge uniformly on $E$ ? Justify your answer.

  comment

• $3 . \mathrm{I} . 3 \mathrm{~F} \quad$

  #Analysis II

  2008

  Explain what it means for a function $f(x, y)$ of two variables to be differentiable at a point $\left(x_{0}, y_{0}\right)$. If $f$ is differentiable at $\left(x_{0}, y_{0}\right)$, show that for any $\alpha$ the function $g_{\alpha}$ defined by

  $$g_{\alpha}(t)=f\left(x_{0}+t \cos \alpha, y_{0}+t \sin \alpha\right)$$

  is differentiable at $t=0$, and find its derivative in terms of the partial derivatives of $f$ at $\left(x_{0}, y_{0}\right)$.

  Consider the function $f$ defined by

  

  Is $f$ differentiable at $(0,0)$ ? Justify your answer.

  comment

• 3.II.13F

  #Analysis II

  2008

  Let $f: \mathbb{R}^{2} \rightarrow \mathbb{R}$ be a function, and $\left(x_{0}, y_{0}\right)$ a point of $\mathbb{R}^{2}$. Prove that if the partial derivatives of $f$ exist in some open disc around $\left(x_{0}, y_{0}\right)$ and are continuous at $\left(x_{0}, y_{0}\right)$, then $f$ is differentiable at $\left(x_{0}, y_{0}\right)$.

  Now let $X$ denote the vector space of all $(n \times n)$ real matrices, and let $f: X \rightarrow \mathbb{R}$ be the function assigning to each matrix its determinant. Show that $f$ is differentiable at the identity matrix $I$, and that $\left.D f\right|_{I}$ is the linear map $H \mapsto \operatorname{tr} H$. Deduce that $f$ is differentiable at any invertible matrix $A$, and that $\left.D f\right|_{A}$ is the linear map $H \mapsto \operatorname{det} A \operatorname{tr}\left(A^{-1} H\right) .$

  Show also that if $K$ is a matrix with $\|K\|<1$, then $(I+K)$ is invertible. Deduce that $f$ is twice differentiable at $I$, and find $\left.D^{2} f\right|_{I}$ as a bilinear map $X \times X \rightarrow \mathbb{R}$.

  [You may assume that the norm $\|-\|$ on $X$ is complete, and that it satisfies the inequality $\|A B\| \leqslant\|A\| \cdot\|B\|$ for any two matrices $A$ and $B .]$

  comment

• 4.I.3F

  #Analysis II

  2008

  Let $X$ be the vector space of all continuous real-valued functions on the unit interval $[0,1]$. Show that the functions

  $$\|f\|_{1}=\int_{0}^{1}|f(t)| d t \quad \text { and } \quad\|f\|_{\infty}=\sup \{|f(t)|: 0 \leqslant t \leqslant 1\}$$

  both define norms on $X$.

  Consider the sequence $\left(f_{n}\right)$ defined by $f_{n}(t)=n t^{n}(1-t)$. Does $\left(f_{n}\right)$ converge in the norm $\|-\|_{1}$ ? Does it converge in the norm $\|-\|_{\infty}$ ? Justify your answers.

  comment

• 4.II.13F

  #Analysis II

  2008

  Explain what it means for two norms on a real vector space to be Lipschitz equivalent. Show that if two norms are Lipschitz equivalent, then one is complete if and only if the other is.

  Let $\|-\|$ be an arbitrary norm on the finite-dimensional space $\mathbb{R}^{n}$, and let $\|-\|_{2}$ denote the standard (Euclidean) norm. Show that for every $\mathbf{x} \in \mathbb{R}^{n}$ with $\|\mathbf{x}\|_{2}=1$, we have

  $$\|\mathbf{x}\| \leqslant\left\|\mathbf{e}_{1}\right\|+\left\|\mathbf{e}_{2}\right\|+\cdots+\left\|\mathbf{e}_{n}\right\|$$

  where $\left(\mathbf{e}_{1}, \mathbf{e}_{2}, \ldots, \mathbf{e}_{n}\right)$ is the standard basis for $\mathbb{R}^{n}$, and deduce that the function $\|-\|$ is continuous with respect to $\|-\|_{2}$. Hence show that there exists a constant $m>0$ such that $\|\mathbf{x}\| \geqslant m$ for all $\mathbf{x}$ with $\|\mathbf{x}\|_{2}=1$, and deduce that $\|-\|$ and $\|-\|_{2}$ are Lipschitz equivalent.

  [You may assume the Bolzano-Weierstrass Theorem.]

  comment

• 1.II.12F

  #Metric and Topological Spaces

  2008

  Write down the definition of a topology on a set $X$.

  For each of the following families $\mathcal{T}$ of subsets of $\mathbb{Z}$, determine whether $\mathcal{T}$ is a topology on $\mathbb{Z}$. In the cases where the answer is 'yes', determine also whether $(\mathbb{Z}, \mathcal{T})$ is a Hausdorff space and whether it is compact.

  (a) $\mathcal{T}=\{U \subseteq \mathbb{Z}$ : either $U$ is finite or $0 \in U\}$.

  (b) $\mathcal{T}=\{U \subseteq \mathbb{Z}$ : either $\mathbb{Z} \backslash U$ is finite or $0 \notin U\}$.

  (c) $\mathcal{T}=\{U \subseteq \mathbb{Z}$ : there exists $k>0$ such that, for all $n, n \in U \Leftrightarrow n+k \in U\}$.

  (d) $\mathcal{T}=\{U \subseteq \mathbb{Z}$ : for all $n \in U$, there exists $k>0$ such that $\{n+k m: m \in \mathbb{Z}\} \subseteq U\}$.

  comment

• 2.I.4F

  #Metric and Topological Spaces

  2008

  Stating carefully any results on compactness which you use, show that if $X$ is a compact space, $Y$ is a Hausdorff space and $f: X \rightarrow Y$ is bijective and continuous, then $f$ is a homeomorphism.

  Hence or otherwise show that the unit circle $S=\left\{(x, y) \in \mathbb{R}^{2}: x^{2}+y^{2}=1\right\}$ is homeomorphic to the quotient space $[0,1] / \sim$, where $\sim$ is the equivalence relation defined by

  $$x \sim y \Leftrightarrow \text { either } x=y \text { or }\{x, y\}=\{0,1\} .$$

  comment

• $3 . \mathrm{I} . 4 \mathrm{~F} \quad$

  #Metric and Topological Spaces

  2008

  Explain what it means for a topological space to be connected.

  Are the following subspaces of the unit square $[0,1] \times[0,1]$ connected? Justify your answers.

  (a) $\{(x, y): x \neq 0, y \neq 0$, and $x / y \in \mathbb{Q}\}$.

  (b) $\{(x, y):(x=0)$ or $(x \neq 0$ and $y \in \mathbb{Q})\}$.

  comment

• 4.II.14F

  #Metric and Topological Spaces

  2008

  Explain what is meant by a base for a topology. Illustrate your definition by describing bases for the topology induced by a metric on a set, and for the product topology on the cartesian product of two topological spaces.

  A topological space $(X, \mathcal{T})$ is said to be separable if there is a countable subset $C \subseteq X$ which is dense, i.e. such that $C \cap U \neq \emptyset$ for every nonempty $U \in \mathcal{T}$. Show that a product of two separable spaces is separable. Show also that a metric space is separable if and only if its topology has a countable base, and deduce that every subspace of a separable metric space is separable.

  Now let $X=\mathbb{R}$ with the topology $\mathcal{T}$ having as a base the set of all half-open intervals

  $$[a, b)=\{x \in \mathbb{R}: a \leqslant x<b\}$$

  with $a<b$. Show that $X$ is separable, but that the subspace $Y=\{(x,-x): x \in \mathbb{R}\}$ of $X \times X$ is not separable.

  [You may assume standard results on countability.]

  comment

• 1.I.3C

  #Complex Analysis or Complex Methods

  2008

  Given that $f(z)$ is an analytic function, show that the mapping $w=f(z)$

  (a) preserves angles between smooth curves intersecting at $z$ if $f^{\prime}(z) \neq 0$;

  (b) has Jacobian given by $\left|f^{\prime}(z)\right|^{2}$.

  comment

• 1.II.13C

  #Complex Analysis or Complex Methods

  2008

  By a suitable choice of contour show the following:

  (a)

  $$\int_{0}^{\infty} \frac{x^{1 / n}}{1+x^{2}} d x=\frac{\pi}{2 \cos (\pi / 2 n)}$$

  where $n>1$,

  (b)

  $$\int_{0}^{\infty} \frac{x^{1 / 2} \log x}{1+x^{2}} d x=\frac{\pi^{2}}{2 \sqrt{2}}$$

  comment

• 2.II.14C

  #Complex Analysis or Complex Methods

  2008

  Let $f(z)=1 /\left(e^{z}-1\right)$. Find the first three terms in the Laurent expansion for $f(z)$ valid for $0<|z|<2 \pi$.

  Now let $n$ be a positive integer, and define

  $$\begin{aligned} &f_{1}(z)=\frac{1}{z}+\sum_{r=1}^{n} \frac{2 z}{z^{2}+4 \pi^{2} r^{2}} \\ &f_{2}(z)=f(z)-f_{1}(z) \end{aligned}$$

  Show that the singularities of $f_{2}$ in $\{z:|z|<2(n+1) \pi\}$ are all removable. By expanding $f_{1}$ as a Laurent series valid for $|z|>2 n \pi$, and $f_{2}$ as a Taylor series valid for $|z|<2(n+1) \pi$, find the coefficients of $z^{j}$ for $-1 \leq j \leq 1$ in the Laurent series for $f$ valid for $2 n \pi<|z|<2(n+1) \pi$.

  By estimating an appropriate integral around the contour $|z|=(2 n+1) \pi$, show that

  $$\sum_{r=1}^{\infty} \frac{1}{r^{2}}=\frac{\pi^{2}}{6}$$

  comment

• 3.II.14E

  #Complex Analysis

  2008

  State and prove Rouché's theorem, and use it to count the number of zeros of $3 z^{9}+8 z^{6}+z^{5}+2 z^{3}+1$ inside the annulus $\{z: 1<|z|<2\}$.

  Let $\left(p_{n}\right)_{n=1}^{\infty}$ be a sequence of polynomials of degree at most $d$ with the property that $p_{n}(z)$ converges uniformly on compact subsets of $\mathbb{C}$ as $n \rightarrow \infty$. Prove that there is a polynomial $p$ of degree at most $d$ such that $p_{n} \rightarrow p$ uniformly on compact subsets of $\mathbb{C}$. [If you use any results about uniform convergence of analytic functions, you should prove them.]

  Suppose that $p$ has $d$ distinct roots $z_{1}, \ldots, z_{d}$. Using Rouché's theorem, or otherwise, show that for each $i$ there is a sequence $\left(z_{i, n}\right)_{n=1}^{\infty}$ such that $p_{n}\left(z_{i, n}\right)=0$ and $z_{i, n} \rightarrow z_{i}$ as $n \rightarrow \infty$.

  comment

• 4.I.4E

  #Complex Analysis

  2008

  Suppose that $f$ and $g$ are two functions which are analytic on the whole complex plane $\mathbb{C}$. Suppose that there is a sequence of distinct points $z_{1}, z_{2}, \ldots$ with $\left|z_{i}\right| \leqslant 1$ such that $f\left(z_{i}\right)=g\left(z_{i}\right)$. Show that $f(z)=g(z)$ for all $z \in \mathbb{C}$. [You may assume any results on Taylor expansions you need, provided they are clearly stated.]

  What happens if the assumption that $\left|z_{i}\right| \leqslant 1$ is dropped?

  comment

• 3.I.5C

  #Complex Methods

  2008

  Using the contour integration formula for the inversion of Laplace transforms find the inverse Laplace transforms of the following functions: (a) $\frac{s}{s^{2}+a^{2}} \quad(a$ real and non-zero $)$, (b) $\frac{1}{\sqrt{s}}$.

  [You may use the fact that $\int_{-\infty}^{\infty} e^{-b x^{2}} d x=\sqrt{\pi / b}$.]

  comment

• 4.II.15C

  #Complex Methods

  2008

  Let $H$ be the domain $\mathbb{C}-\{x+i y: x \leq 0, y=0\}$ (i.e., $\mathbb{C}$ cut along the negative $x$-axis). Show, by a suitable choice of branch, that the mapping

  $$z \mapsto w=-i \log z$$

  maps $H$ onto the strip $S=\{z=x+i y,-\pi<x<\pi\}$.

  How would a different choice of branch change the result?

  Let $G$ be the domain $\{z \in \mathbb{C}:|z|<1,|z+i|>\sqrt{2}\}$. Find an analytic transformation that maps $G$ to $S$, where $S$ is the strip defined above.

  comment

• 1.II.14D

  #Methods

  2008

  Write down the Euler-Lagrange equation for the variational problem for $y(x)$ that extremizes the integral $I$ defined as

  $$I=\int_{x_{1}}^{x_{2}} f\left(x, y, y^{\prime}\right) d x$$

  with boundary conditions $y\left(x_{1}\right)=y_{1}, y\left(x_{2}\right)=y_{2}$, where $y_{1}$ and $y_{2}$ are positive constants such that $y_{2}>y_{1}$, with $x_{2}>x_{1}$. Find a first integral of the equation when $f$ is independent of $y$, i.e. $f=f\left(x, y^{\prime}\right)$.

  A light ray moves in the $(x, y)$ plane from $\left(x_{1}, y_{1}\right)$ to $\left(x_{2}, y_{2}\right)$ with speed $c(x)$ taking a time $T$. Show that the equation of the path that makes $T$ an extremum satisfies

  $$\frac{d y}{d x}=\frac{c(x)}{\sqrt{k^{2}-c^{2}(x)}}$$

  where $k$ is a constant and write down an integral relating $k, x_{1}, x_{2}, y_{1}$ and $y_{2}$.

  When $c(x)=a x$ where $a$ is a constant and $k=a x_{2}$, show that the path is given by

  $$\left(y_{2}-y\right)^{2}=x_{2}^{2}-x^{2} .$$

  comment

• $2 . \mathrm{I} . 5 \mathrm{D} \quad$

  #Methods

  2008

  Describe briefly the method of Lagrange multipliers for finding the stationary values of a function $f(x, y)$ subject to a constraint $g(x, y)=0$.

  Use the method to find the largest possible volume of a circular cylinder that has surface area $A$ (including both ends).

  comment

• 2.II.15D

  #Methods

  2008

  (a) Legendre's equation may be written in the form

  $$\frac{d}{d x}\left(\left(1-x^{2}\right) \frac{d y}{d x}\right)+\lambda y=0$$

  Show that there is a series solution for $y$ of the form

  $$y=\sum_{k=0}^{\infty} a_{k} x^{k},$$

  where the $a_{k}$ satisfy the recurrence relation

  $$\frac{a_{k+2}}{a_{k}}=-\frac{(\lambda-k(k+1))}{(k+1)(k+2)} .$$

  Hence deduce that there are solutions for $y(x)=P_{n}(x)$ that are polynomials of degree $n$, provided that $\lambda=n(n+1)$. Given that $a_{0}$ is then chosen so that $P_{n}(1)=1$, find the explicit form for $P_{2}(x)$.

  (b) Laplace's equation for $\Phi(r, \theta)$ in spherical polar coordinates $(r, \theta, \phi)$ may be written in the axisymmetric case as

  $$\frac{\partial^{2} \Phi}{\partial r^{2}}+\frac{2}{r} \frac{\partial \Phi}{\partial r}+\frac{1}{r^{2}} \frac{\partial}{\partial x}\left(\left(1-x^{2}\right) \frac{\partial \Phi}{\partial x}\right)=0$$

  where $x=\cos \theta$.

  Write down without proof the general form of the solution obtained by the method of separation of variables. Use it to find the form of $\Phi$ exterior to the sphere $r=a$ that satisfies the boundary conditions, $\Phi(a, x)=1+x^{2}$, and $\lim _{r \rightarrow \infty} \Phi(r, x)=0$.

  comment

• 3.I.6D

  #Methods

  2008

  Let $\mathcal{L}$ be the operator

  $$\mathcal{L} y=\frac{d^{2} y}{d x^{2}}-k^{2} y$$

  on functions $y(x)$ satisfying $\lim _{x \rightarrow-\infty} \quad y(x)=0$ and $\lim _{x \rightarrow \infty} y(x)=0$.

  Given that the Green's function $G(x ; \xi)$ for $\mathcal{L}$ satisfies

  $$\mathcal{L} G=\delta(x-\xi)$$

  show that a solution of

  $$\mathcal{L} y=S(x)$$

  for a given function $S(x)$, is given by

  $$y(x)=\int_{-\infty}^{\infty} G(x ; \xi) S(\xi) d \xi$$

  Indicate why this solution is unique.

  Show further that the Green's function is given by

  $$G(x ; \xi)=-\frac{1}{2|k|} \exp (-|k||x-\xi|)$$

  comment

• 3.II.15D

  #Methods

  2008

  Let $\lambda_{1}<\lambda_{2}<\ldots \lambda_{n} \ldots$ and $y_{1}(x), y_{2}(x), \ldots y_{n}(x) \ldots$ be the eigenvalues and corresponding eigenfunctions for the Sturm-Liouville system

  $$\mathcal{L} y_{n}=\lambda_{n} w(x) y_{n},$$

  where

  $$\mathcal{L} y \equiv \frac{d}{d x}\left(-p(x) \frac{d y}{d x}\right)+q(x) y,$$

  with $p(x)>0$ and $w(x)>0$. The boundary conditions on $y$ are that $y(0)=y(1)=0$.

  Show that two distinct eigenfunctions are orthogonal in the sense that

  $$\int_{0}^{1} w y_{n} y_{m} d x=\delta_{n m} \int_{0}^{1} w y_{n}^{2} d x .$$

  Show also that if $y$ has the form

  $$y=\sum_{n=1}^{\infty} a_{n} y_{n},$$

  with $a_{n}$ being independent of $x$, then

  $$\frac{\int_{0}^{1} y \mathcal{L} y d x}{\int_{0}^{1} w y^{2} d x} \geq \lambda_{1}$$

  Assuming that the eigenfunctions are complete, deduce that a solution of the diffusion equation,

  $$\frac{\partial y}{\partial t}=-\frac{1}{w} \mathcal{L} y$$

  that satisfies the boundary conditions given above is such that

  $$\frac{1}{2} \frac{d}{d t}\left(\int_{0}^{1} w y^{2} d x\right) \leq-\lambda_{1} \int_{0}^{1} w y^{2} d x .$$

  comment

• 4.I.5A

  #Methods

  2008

  Find the half-range Fourier cosine series for $f(x)=x^{2}, 0<x<1$. Hence show that

  $$\sum_{n=1}^{\infty} \frac{1}{n^{2}}=\frac{\pi^{2}}{6} .$$

  comment

• 4.II.16A

  #Methods

  2008

  Assume $F(x)$ satisfies

  $$\int_{-\infty}^{\infty}|F(x)| d x<\infty$$

  and that the series

  $$g(\tau)=\sum_{n=-\infty}^{\infty} F(2 n \pi+\tau)$$

  converges uniformly in $[0 \leqslant \tau \leqslant 2 \pi]$.

  If $\tilde{F}$ is the Fourier transform of $F$, prove that

  $$g(\tau)=\frac{1}{2 \pi} \sum_{n=-\infty}^{\infty} \tilde{F}(n) e^{i n \tau}$$

  [Hint: prove that $g$ is periodic and express its Fourier expansion coefficients in terms of $\tilde{F}]$.

  In the case that $F(x)=e^{-|x|}$, evaluate the sum

  $$\sum_{n=-\infty}^{\infty} \frac{1}{1+n^{2}} .$$

  comment

• 1.II.15A

  #Quantum Mechanics

  2008

  The radial wavefunction $g(r)$ for the hydrogen atom satisfies the equation

  $$-\frac{\hbar^{2}}{2 m r^{2}} \frac{d}{d r}\left(r^{2} \frac{d g(r)}{d r}\right)-\frac{e^{2} g(r)}{4 \pi \epsilon_{0} r}+\hbar^{2} \frac{\ell(\ell+1)}{2 m r^{2}} g(r)=E g(r)$$

  With reference to the general form for the time-independent Schrödinger equation, explain the origin of each term. What are the allowed values of $\ell$ ?

  The lowest-energy bound-state solution of $(*)$, for given $\ell$, has the form $r^{\alpha} e^{-\beta r}$. Find $\alpha$ and $\beta$ and the corresponding energy $E$ in terms of $\ell$.

  A hydrogen atom makes a transition between two such states corresponding to $\ell+1$ and $\ell$. What is the frequency of the emitted photon?

  comment

• 2.II.16A

  #Quantum Mechanics

  2008

  Give the physical interpretation of the expression

  $$\langle A\rangle_{\psi}=\int \psi(x)^{*} \hat{A} \psi(x) d x$$

  for an observable $A$, where $\hat{A}$ is a Hermitian operator and $\psi$ is normalised. By considering the norm of the state $(A+i \lambda B) \psi$ for two observables $A$ and $B$, and real values of $\lambda$, show that

  $$\left\langle A^{2}\right\rangle_{\psi}\left\langle B^{2}\right\rangle_{\psi} \geqslant \frac{1}{4}\left|\langle[A, B]\rangle_{\psi}\right|^{2} .$$

  Deduce the uncertainty relation

  $$\Delta A \Delta B \geqslant \frac{1}{2}\left|\langle[A, B]\rangle_{\psi}\right|,$$

  where $\Delta A$ is the uncertainty of $A$.

  A particle of mass $m$ moves in one dimension under the influence of potential $\frac{1}{2} m \omega^{2} x^{2}$. By considering the commutator $[x, p]$, show that the expectation value of the Hamiltonian satisfies

  $$\langle H\rangle_{\psi} \geqslant \frac{1}{2} \hbar \omega .$$

  comment

• 3.I.7A

  #Quantum Mechanics

  2008

  Write down a formula for the orbital angular momentum operator $\hat{\mathbf{L}}$. Show that its components satisfy

  $$\left[L_{i}, L_{j}\right]=i \hbar \epsilon_{i j k} L_{k} .$$

  If $L_{3} \psi=0$, show that $\left(L_{1} \pm i L_{2}\right) \psi$ are also eigenvectors of $L_{3}$, and find their eigenvalues.

  comment

• 3.II.16A

  #Quantum Mechanics

  2008

  What is the probability current for a particle of mass $m$, wavefunction $\psi$, moving in one dimension?

  A particle of energy $E$ is incident from $x<0$ on a barrier given by

  $$V(x)=\left\{\begin{array}{cc} 0 & x \leqslant 0 \\ V_{1} & 0<x<a \\ V_{0} & x \geqslant a \end{array}\right.$$

  where $V_{1}>V_{0}>0$. What are the conditions satisfied by $\psi$ at $x=0$ and $x=a$ ? Write down the form taken by the wavefunction in the regions $x \leqslant 0$ and $x \geqslant a$ distinguishing between the cases $E>V_{0}$ and $E<V_{0}$. For both cases, use your expressions for $\psi$ to calculate the probability currents in these two regions.

  Define the reflection and transmission coefficients, $R$ and $T$. Using current conservation, show that the expressions you have derived satisfy $R+T=1$. Show that $T=0$ if $0<E<V_{0}$.

  comment

• 4.I.6A

  #Quantum Mechanics

  2008

  What is meant by a stationary state? What form does the wavefunction take in such a state? A particle has wavefunction $\psi(x, t)$, such that

  $$\psi(x, 0)=\sqrt{\frac{1}{2}}\left(\chi_{1}(x)+\chi_{2}(x)\right)$$

  where $\chi_{1}$ and $\chi_{2}$ are normalised eigenstates of the Hamiltonian with energies $E_{1}$ and $E_{2}$. Write down $\psi(x, t)$ at time $t$. Show that the expectation value of $A$ at time $t$ is

  $$\langle A\rangle_{\psi}=\frac{1}{2} \int_{-\infty}^{\infty}\left(\chi_{1}^{*} \hat{A} \chi_{1}+\chi_{2}^{*} \hat{A} \chi_{2}\right) d x+\operatorname{Re}\left(e^{i\left(E_{1}-E_{2}\right) t / \hbar} \int_{-\infty}^{\infty} \chi_{1}^{*} \hat{A} \chi_{2} d x\right)$$

  comment

• 1.II.16B

  #Electromagnetism

  2008

  Suppose that the current density $\mathbf{J}(\mathbf{r})$ is constant in time but the charge density $\rho(\mathbf{r}, t)$ is not.

  (i) Show that $\rho$ is a linear function of time:

  $$\rho(\mathbf{r}, t)=\rho(\mathbf{r}, 0)+\dot{\rho}(\mathbf{r}, 0) t$$

  where $\dot{\rho}(\mathbf{r}, 0)$ is the time derivative of $\rho$ at time $t=0$.

  (ii) The magnetic induction due to a current density $\mathbf{J}(\mathbf{r})$ can be written as

  $$\mathbf{B}(\mathbf{r})=\frac{\mu_{0}}{4 \pi} \int \frac{\mathbf{J}\left(\mathbf{r}^{\prime}\right) \times\left(\mathbf{r}-\mathbf{r}^{\prime}\right)}{\left|\mathbf{r}-\mathbf{r}^{\prime}\right|^{3}} d V^{\prime}$$

  Show that this can also be written as

  $$\mathbf{B}(\mathbf{r})=\frac{\mu_{0}}{4 \pi} \nabla \times \int \frac{\mathbf{J}\left(\mathbf{r}^{\prime}\right)}{\left|\mathbf{r}-\mathbf{r}^{\prime}\right|} d V^{\prime}$$

  (iii) Assuming that $\mathbf{J}$ vanishes at infinity, show that the curl of the magnetic field in (1) can be written as

  $$\nabla \times \mathbf{B}(\mathbf{r})=\mu_{0} \mathbf{J}(\mathbf{r})+\frac{\mu_{0}}{4 \pi} \nabla \int \frac{\nabla^{\prime} \cdot \mathbf{J}\left(\mathbf{r}^{\prime}\right)}{\left|\mathbf{r}-\mathbf{r}^{\prime}\right|} d V^{\prime}$$

  [You may find useful the identities $\nabla \times(\nabla \times \mathbf{A})=\nabla(\nabla \cdot \mathbf{A})-\nabla^{2} \mathbf{A}$ and also $\left.\nabla^{2}\left(1 /\left|\mathbf{r}-\mathbf{r}^{\prime}\right|\right)=-4 \pi \delta\left(\mathbf{r}-\mathbf{r}^{\prime}\right) .\right]$

  (iv) Show that the second term on the right hand side of (2) can be expressed in terms of the time derivative of the electric field in such a way that $\mathbf{B}$ itself obeys Ampère's law with Maxwell's displacement current term, i.e. $\nabla \times \mathbf{B}=\mu_{0} \mathbf{J}+\mu_{0} \epsilon_{0} \partial \mathbf{E} / \partial t$.

  comment

• 2.I.6B

  #Electromagnetism

  2008

  Given the electric potential of a dipole

  $$\phi(r, \theta)=\frac{p \cos \theta}{4 \pi \epsilon_{0} r^{2}},$$

  where $p$ is the magnitude of the dipole moment, calculate the corresponding electric field and show that it can be written as

  $$\mathbf{E}(\mathbf{r})=\frac{1}{4 \pi \epsilon_{0}} \frac{1}{r^{3}}\left[3\left(\mathbf{p} \cdot \hat{\mathbf{e}}_{r}\right) \hat{\mathbf{e}}_{r}-\mathbf{p}\right]$$

  where $\hat{\mathbf{e}}_{r}$ is the unit vector in the radial direction.

  comment

• 2.II.17B

  #Electromagnetism

  2008

  Two perfectly conducting rails are placed on the $x y$-plane, one coincident with the $x$-axis, starting at $(0,0)$, the other parallel to the first rail a distance $\ell$ apart, starting at $(0, \ell)$. A resistor $R$ is connected across the rails between $(0,0)$ and $(0, \ell)$, and a uniform magnetic field $\mathbf{B}=B \hat{\mathbf{e}}_{z}$, where $\hat{\mathbf{e}}_{z}$ is the unit vector along the $z$-axis and $B>0$, fills the entire region of space. A metal bar of negligible resistance and mass $m$ slides without friction on the two rails, lying perpendicular to both of them in such a way that it closes the circuit formed by the rails and the resistor. The bar moves with speed $v$ to the right such that the area of the loop becomes larger with time.

  (i) Calculate the current in the resistor and indicate its direction of flow in a diagram of the system.

  (ii) Show that the magnetic force on the bar is

  $$\mathbf{F}=-\frac{B^{2} \ell^{2} v}{R} \hat{\mathbf{e}}_{x}$$

  (iii) Assume that the bar starts moving with initial speed $v_{0}$ at time $t=0$, and is then left to slide freely. Using your result from part (ii) and Newton's laws show that its velocity at the time $t$ is

  $$v(t)=v_{0} e^{-\left(B^{2} \ell^{2} / m R\right) t} .$$

  (iv) By calculating the total energy delivered to the resistor, verify that energy is conserved.

  comment

• 3.II.17B

  #Electromagnetism

  2008

  (i) From Maxwell's equations in vacuum,

  $$\begin{array}{ll} \nabla \cdot \mathbf{E}=0 & \nabla \times \mathbf{E}=-\frac{\partial \mathbf{B}}{\partial t} \\ \nabla \cdot \mathbf{B}=0 & \nabla \times \mathbf{B}=\mu_{0} \epsilon_{0} \frac{\partial \mathbf{E}}{\partial t} \end{array}$$

  obtain the wave equation for the electric field E. [You may find the following identity useful: $\left.\nabla \times(\nabla \times \mathbf{A})=\nabla(\nabla \cdot \mathbf{A})-\nabla^{2} \mathbf{A} .\right]$

  (ii) If the electric and magnetic fields of a monochromatic plane wave in vacuum are

  $$\mathbf{E}(z, t)=\mathbf{E}_{0} \mathrm{e}^{i(k z-\omega t)} \text { and } \mathbf{B}(z, t)=\mathbf{B}_{0} \mathrm{e}^{i(k z-\omega t)}$$

  show that the corresponding electromagnetic waves are transverse (that is, both fields have no component in the direction of propagation).

  (iii) Use Faraday's law for these fields to show that

  $$\mathbf{B}_{0}=\frac{k}{\omega}\left(\hat{\mathbf{e}}_{z} \times \mathbf{E}_{0}\right)$$

  (iv) Explain with symmetry arguments how these results generalise to

  $$\mathbf{E}(\mathbf{r}, t)=E_{0} \mathrm{e}^{i(\mathbf{k} \cdot \mathbf{r}-\omega t)} \hat{\mathbf{n}} \quad \text { and } \quad \mathbf{B}(\mathbf{r}, t)=\frac{1}{c} E_{0} \mathrm{e}^{i(\mathbf{k} \cdot \mathbf{r}-\omega t)}(\hat{\mathbf{k}} \times \hat{\mathbf{n}})$$

  where $\hat{\mathbf{n}}$ is the polarisation vector, i.e., the unit vector perpendicular to the direction of motion and along the direction of the electric field, and $\hat{\mathbf{k}}$ is the unit vector in the direction of propagation of the wave.

  (v) Using Maxwell's equations in vacuum prove that:

  $$\oint_{\mathcal{A}}\left(1 / \mu_{0}\right)(\mathbf{E} \times \mathbf{B}) \cdot d \mathcal{A}=-\frac{\partial}{\partial t} \int_{\mathcal{V}}\left(\frac{\epsilon_{0} E^{2}}{2}+\frac{B^{2}}{2 \mu_{0}}\right) d V$$

  where $\mathcal{V}$ is the closed volume and $\mathcal{A}$ is the bounding surface. Comment on the differing time dependencies of the left-hand-side of (1) for the case of (a) linearly-polarized and (b) circularly-polarized monochromatic plane waves.

  comment

• 4.I.7B

  #Electromagnetism

  2008

  The energy stored in a static electric field $\mathbf{E}$ is

  $$U=\frac{1}{2} \int \rho \phi d V,$$

  where $\phi$ is the associated electric potential, $\mathbf{E}=-\nabla \phi$, and $\rho$ is the volume charge density.

  (i) Assuming that the energy is calculated over all space and that $\mathbf{E}$ vanishes at infinity, show that the energy can be written as

  $$U=\frac{\epsilon_{0}}{2} \int|\mathbf{E}|^{2} d V$$

  (ii) Find the electric field produced by a spherical shell with total charge $Q$ and radius $R$, assuming it to vanish inside the shell. Find the energy stored in the electric field.

  comment

• 1.I.4C

  #Special Relativity

  2008

  In an inertial frame $S$ a photon of energy $E$ is observed to travel at an angle $\theta$ relative to the $x$-axis. The inertial frame $S^{\prime}$ moves relative to $S$ at velocity $v$ in the $x$ direction and the $x^{\prime}$-axis of $S^{\prime}$ is taken parallel to the $x$-axis of $S$. Observed in $S^{\prime}$, the photon has energy $E^{\prime}$ and travels at an angle $\theta^{\prime}$ relative to the $x^{\prime}$-axis. Show that

  $$E^{\prime}=\frac{E(1-\beta \cos \theta)}{\sqrt{1-\beta^{2}}}, \quad \cos \theta^{\prime}=\frac{\cos \theta-\beta}{1-\beta \cos \theta},$$

  where $\beta=v / c$.

  comment

• 2.I.7C

  #Special Relativity

  2008

  A photon of energy $E$ collides with a particle of rest mass $m$, which is at rest. The final state consists of a photon and a particle of rest mass $M, M>m$. Show that the minimum value of $E$ for which it is possible for this reaction to take place is

  $$E_{\min }=\frac{M^{2}-m^{2}}{2 m} c^{2}$$

  comment

• 4.II.17C

  #Special Relativity

  2008

  Write down the formulae for the one-dimensional Lorentz transformation $(x, t) \rightarrow$ $\left(x^{\prime}, t^{\prime}\right)$ for frames moving with relative velocity $v$ along the $x$-direction. Derive the relativistic formula for the addition of velocities $v$ and $u$.

  A train, of proper length $L$, travels past a station at velocity $v>0$. The origin of the inertial frame $S$, with coordinates $(x, t)$, in which the train is stationary, is located at the mid-point of the train. The origin of the inertial frame $S^{\prime}$, with coordinates $\left(x^{\prime}, t^{\prime}\right)$, in which the station is stationary, is located at the mid-point of the platform. Coordinates are chosen such that when the origins coincide then $t=t^{\prime}=0$.

  Observers A and B, stationary in $S$, are located, respectively, at the front and rear of the train. Observer C, stationary in $S^{\prime}$, is located at the origin of $S^{\prime}$. At $t^{\prime}=0$, C sends two signals, which both travel at speed $u$, where $v<u \leq c$, one directed towards $\mathrm{A}$ and the other towards $\mathrm{B}$, who receive the signals at respective times $t_{A}$ and $t_{B}$. $\mathrm{C}$ observes these events to occur, respectively, at times $t_{A}^{\prime}$ and $t_{B}^{\prime}$. At $t^{\prime}=0, \mathrm{C}$ also observes that the two ends of the platform coincide with the positions of $A$ and $B$.

  (a) Draw two space-time diagrams, one for $S$ and the other for $S^{\prime}$, showing the trajectories of the observers and the events that take place.

  (b) What is the length of the platform in terms of $L$ ? Briefly illustrate your answer by reference to the space-time diagrams.

  (c) Calculate the time differences $t_{B}-t_{A}$ and $t_{B}^{\prime}-t_{A}^{\prime}$.

  (d) Setting $u=c$, use this example to discuss briefly the fact that two events observed to be simultaneous in one frame need not be observed to be simultaneous in another.

  comment

• 1.I.5B

  #Fluid Dynamics

  2008

  Verify that the two-dimensional flow given in Cartesian coordinates by

  $$\mathbf{u}=\left(\mathrm{e}^{y} \sinh x,-\mathrm{e}^{y} \cosh x\right)$$

  satisfies $\nabla \cdot \mathbf{u}=0$. Find the stream function $\psi(x, y)$. Sketch the streamlines.

  comment

• 1.II.17B

  #Fluid Dynamics

  2008

  Two incompressible fluids flow in infinite horizontal streams, the plane of contact being $z=0$, with $z$ positive upwards. The flow is given by

  $$\mathbf{U}(\mathbf{r})= \begin{cases}U_{2} \hat{\mathbf{e}}_{x}, & z>0 \\ U_{1} \hat{\mathbf{e}}_{x}, & z<0\end{cases}$$

  where $\hat{\mathbf{e}}_{x}$ is the unit vector in the positive $x$ direction. The upper fluid has density $\rho_{2}$ and pressure $p_{0}-g \rho_{2} z$, the lower has density $\rho_{1}$ and pressure $p_{0}-g \rho_{1} z$, where $p_{0}$ is a constant and $g$ is the acceleration due to gravity.

  (i) Consider a perturbation to the flat surface $z=0$ of the form

  $$z \equiv \zeta(x, y, t)=\zeta_{0} e^{i(k x+\ell y)+s t} .$$

  State the kinematic boundary conditions on the velocity potentials $\phi_{i}$ that hold on the interface in the two domains, and show by linearising in $\zeta$ that they reduce to

  $$\frac{\partial \phi_{i}}{\partial z}=\frac{\partial \zeta}{\partial t}+U_{i} \frac{\partial \zeta}{\partial x} \quad(z=0, i=1,2) .$$

  (ii) State the dynamic boundary condition on the perturbed interface, and show by linearising in $\zeta$ that it reduces to

  $$\rho_{1}\left(U_{1} \frac{\partial \phi_{1}}{\partial x}+\frac{\partial \phi_{1}}{\partial t}+g \zeta\right)=\rho_{2}\left(U_{2} \frac{\partial \phi_{2}}{\partial x}+\frac{\partial \phi_{2}}{\partial t}+g \zeta\right) \quad(z=0)$$

  (iii) Use the velocity potentials

  $$\phi_{1}=U_{1} x+A_{1} e^{q z} e^{i(k x+\ell y)+s t}, \quad \phi_{2}=U_{2} x+A_{2} e^{-q z} e^{i(k x+\ell y)+s t},$$

  where $q=\sqrt{k^{2}+\ell^{2}}$, and the conditions in (i) and (ii) to perform a stability analysis. Show that the relation between $s, k$ and $\ell$ is

  $$s=-i k \frac{\rho_{1} U_{1}+\rho_{2} U_{2}}{\rho_{1}+\rho_{2}} \pm\left[\frac{k^{2} \rho_{1} \rho_{2}\left(U_{1}-U_{2}\right)^{2}}{\left(\rho_{1}+\rho_{2}\right)^{2}}-\frac{q g\left(\rho_{1}-\rho_{2}\right)}{\rho_{1}+\rho_{2}}\right]^{1 / 2} .$$

  Find the criterion for instability.

  comment

• 2.I.8B

  #Fluid Dynamics

  2008

  (i) Show that for a two-dimensional incompressible flow $(u(x, y), v(x, y), 0)$, the vorticity is given by $\boldsymbol{\omega} \equiv \omega_{z} \hat{\mathbf{e}}_{z}=\left(0,0,-\nabla^{2} \psi\right)$ where $\psi$ is the stream function.

  (ii) Express the $z$-component of the vorticity equation

  $$\frac{\partial \boldsymbol{\omega}}{\partial t}+(\mathbf{u} \cdot \nabla) \boldsymbol{\omega}=(\boldsymbol{\omega} \cdot \nabla) \mathbf{u}$$

  in terms of the stream function $\psi$.

  comment

• 3.II.18B

  #Fluid Dynamics

  2008

  An ideal liquid contained within a closed circular cylinder of radius $a$ rotates about the axis of the cylinder (assume this axis to be in the vertical $z$-direction).

  (i) Prove that the equation of continuity and the boundary conditions are satisfied by the velocity $\mathbf{v}=\boldsymbol{\Omega} \times \mathbf{r}$, where $\boldsymbol{\Omega}=\Omega \hat{\mathbf{e}}_{z}$ is the angular velocity, with $\hat{\mathbf{e}}_{z}$ the unit vector in the $z$-direction, which depends only on time, and $\mathbf{r}$ is the position vector measured from a point on the axis of rotation.

  (ii) Calculate the angular momentum $\mathbf{M}=\rho \int(\mathbf{r} \times \mathbf{v}) d V$ per unit length of the cylinder.

  (iii) Suppose the the liquid starts from rest and flows under the action of an external force per unit mass $\mathbf{f}=(\alpha x+\beta y, \gamma x+\delta y, 0)$. By taking the curl of the Euler equation, prove that

  $$\frac{d \Omega}{d t}=\frac{1}{2}(\gamma-\beta)$$

  (iv) Find the pressure.

  comment

• 4.II.18B

  #Fluid Dynamics

  2008

  (i) Starting from Euler's equation for an incompressible fluid show that for potential flow with $\mathbf{u}=\nabla \phi$,

  $$\frac{\partial \phi}{\partial t}+\frac{1}{2} u^{2}+\chi=f(t)$$

  where $u=|\mathbf{u}|, \chi=p / \rho+V$, the body force per unit mass is $-\nabla V$ and $f(t)$ is an arbitrary function of time.

  (ii) Hence show that, for the steady flow of a liquid of density $\rho$ through a pipe of varying cross-section that is subject to a pressure difference $\Delta p=p_{1}-p_{2}$ between its two ends, the mass flow through the pipe per unit time is given by

  $$m \equiv \frac{d M}{d t}=S_{1} S_{2} \sqrt{\frac{2 \rho \Delta p}{S_{1}^{2}-S_{2}^{2}}}$$

  where $S_{1}$ and $S_{2}$ are the cross-sectional areas of the two ends.

  comment

• 1.I.6D

  #Numerical Analysis

  2008

  Show that if $A=L D L^{T}$, where $L \in \mathbb{R}^{m \times m}$ is a lower triangular matrix with all elements on the main diagonal being unity and $D \in \mathbb{R}^{m \times m}$ is a diagonal matrix with positive elements, then $A$ is positive definite. Find $L$ and the corresponding $D$ when

  $$A=\left[\begin{array}{rrr} 1 & -1 & 2 \\ -1 & 3 & 1 \\ 2 & 1 & 3 \end{array}\right]$$

  comment

• 2.II.18D

  #Numerical Analysis

  2008

  (a) A Householder transformation (reflection) is given by

  $$H=I-\frac{2 u u^{T}}{\|u\|^{2}},$$

  where $H \in \mathbb{R}^{m \times m}, u \in \mathbb{R}^{m}$, and $I$ is the $m \times m$ unit matrix and $u$ is a non-zero vector which has norm $\|u\|=\left(\sum_{i=1}^{m} u_{i}^{2}\right)^{1 / 2}$. Show that $H$ is orthogonal.

  (b) Suppose that $A \in \mathbb{R}^{m \times n}, x \in \mathbb{R}^{n}$ and $b \in \mathbb{R}^{m}$ with $n<m$. Show that if $x$ minimises $\|A x-b\|^{2}$ then it also minimises $\|Q A x-Q b\|^{2}$, where $Q$ is an arbitrary $m \times m$ orthogonal matrix.

  (c) Using Householder reflection, find the $x$ that minimises $\|A x-b\|^{2}$ when

  $$A=\left[\begin{array}{ll} 1 & 2 \\ 0 & 4 \\ 0 & 2 \\ 0 & 4 \end{array}\right] \quad b=\left[\begin{array}{r} 1 \\ 1 \\ 2 \\ -1 \end{array}\right]$$

  comment

• 3.II.19D

  #Numerical Analysis

  2008

  Starting from the Taylor formula for $f(x) \in C^{k+1}[a, b]$ with an integral remainder term, show that the error of an approximant $L(f)$ can be written in the form (Peano kernel theorem)

  $$L(f)=\frac{1}{k !} \int_{a}^{b} K(\theta) f^{(k+1)}(\theta) d \theta,$$

  when $L(f)$, which is identically zero if $f(x)$ is a polynomial of degree $k$, satisfies conditions that you should specify. Give an expression for $K(\theta)$.

  Hence determine the minimum value of $c$ in the inequality

  $$|L(f)| \leq c\left\|f^{\prime \prime \prime}\right\|_{\infty}$$

  when

  $$L(f)=f^{\prime}(1)-\frac{1}{2}(f(2)-f(0)) \text { for } f(x) \in C^{3}[0,2]$$

  comment

• 4.I.8D

  #Numerical Analysis

  2008

  Show that the Chebyshev polynomials, $T_{n}(x)=\cos \left(n \cos ^{-1} x\right), n=0,1,2, \ldots$ obey the orthogonality relation

  $$\int_{-1}^{1} \frac{T_{n}(x) T_{m}(x)}{\sqrt{1-x^{2}}} d x=\frac{\pi}{2} \delta_{n, m}\left(1+\delta_{n, 0}\right)$$

  State briefly how an optimal choice of the parameters $a_{k}, x_{k}, k=1,2 \ldots n$ is made in the Gaussian quadrature formula

  $$\int_{-1}^{1} \frac{f(x)}{\sqrt{1-x^{2}}} d x \sim \sum_{k=1}^{n} a_{k} f\left(x_{k}\right)$$

  Find these parameters for the case $n=3$.

  comment

• $1 . \mathrm{I} . 7 \mathrm{H} \quad$

  #Statistics

  2008

  A Bayesian statistician observes a random sample $X_{1}, \ldots, X_{n}$ drawn from a $N\left(\mu, \tau^{-1}\right)$ distribution. He has a prior density for the unknown parameters $\mu, \tau$ of the form

  $$\pi_{0}(\mu, \tau) \propto \tau^{\alpha_{0}-1} \exp \left(-\frac{1}{2} K_{0} \tau\left(\mu-\mu_{0}\right)^{2}-\beta_{0} \tau\right) \sqrt{\tau},$$

  where $\alpha_{0}, \beta_{0}, \mu_{0}$ and $K_{0}$ are constants which he chooses. Show that after observing $X_{1}, \ldots, X_{n}$ his posterior density $\pi_{n}(\mu, \tau)$ is again of the form

  $$\pi_{n}(\mu, \tau) \propto \tau^{\alpha_{n}-1} \exp \left(-\frac{1}{2} K_{n} \tau\left(\mu-\mu_{n}\right)^{2}-\beta_{n} \tau\right) \sqrt{\tau}$$

  where you should find explicitly the form of $\alpha_{n}, \beta_{n}, \mu_{n}$ and $K_{n}$.

  comment

• 1.II.18H

  #Statistics

  2008

  Suppose that $X_{1}, \ldots, X_{n}$ is a sample of size $n$ with common $N\left(\mu_{X}, 1\right)$ distribution, and $Y_{1}, \ldots, Y_{n}$ is an independent sample of size $n$ from a $N\left(\mu_{Y}, 1\right)$ distribution.

  (i) Find (with careful justification) the form of the size- $\alpha$ likelihood-ratio test of the null hypothesis $H_{0}: \mu_{Y}=0$ against alternative $H_{1}:\left(\mu_{X}, \mu_{Y}\right)$ unrestricted.

  (ii) Find the form of the size- $\alpha$ likelihood-ratio test of the hypothesis

  $$H_{0}: \mu_{X} \geqslant A, \mu_{Y}=0$$

  against $H_{1}:\left(\mu_{X}, \mu_{Y}\right)$ unrestricted, where $A$ is a given constant.

  Compare the critical regions you obtain in (i) and (ii) and comment briefly.

  comment

• 2.II.19H

  #Statistics

  2008

  Suppose that the joint distribution of random variables $X, Y$ taking values in $\mathbb{Z}^{+}=\{0,1,2, \ldots\}$ is given by the joint probability generating function

  $$\varphi(s, t) \equiv E\left[s^{X} t^{Y}\right]=\frac{1-\alpha-\beta}{1-\alpha s-\beta t}$$

  where the unknown parameters $\alpha$ and $\beta$ are positive, and satisfy the inequality $\alpha+\beta<1$. Find $E(X)$. Prove that the probability mass function of $(X, Y)$ is

  $$f(x, y \mid \alpha, \beta)=(1-\alpha-\beta)\left(\begin{array}{c} x+y \\ x \end{array}\right) \alpha^{x} \beta^{y} \quad\left(x, y \in \mathbb{Z}^{+}\right)$$

  and prove that the maximum-likelihood estimators of $\alpha$ and $\beta$ based on a sample of size $n$ drawn from the distribution are

  $$\hat{\alpha}=\frac{\bar{X}}{1+\bar{X}+\bar{Y}}, \quad \hat{\beta}=\frac{\bar{Y}}{1+\bar{X}+\bar{Y}},$$

  where $\bar{X}$ (respectively, $\bar{Y}$ ) is the sample mean of $X_{1}, \ldots, X_{n}$ (respectively, $Y_{1}, \ldots, Y_{n}$ ).

  By considering $\hat{\alpha}+\hat{\beta}$ or otherwise, prove that the maximum-likelihood estimator is biased. Stating clearly any results to which you appeal, prove that as $n \rightarrow \infty, \hat{\alpha} \rightarrow \alpha$, making clear the sense in which this convergence happens.

  comment

• $3 . \mathrm{I} . 8 \mathrm{H} \quad$

  #Statistics

  2008

  If $X_{1}, \ldots, X_{n}$ is a sample from a density $f(\cdot \mid \theta)$ with $\theta$ unknown, what is a $95 \%$ confidence set for $\theta$ ?

  In the case where the $X_{i}$ are independent $N\left(\mu, \sigma^{2}\right)$ random variables with $\sigma^{2}$ known, $\mu$ unknown, find (in terms of $\sigma^{2}$ ) how large the size $n$ of the sample must be in order for there to exist a $95 \%$ confidence interval for $\mu$ of length no more than some given $\varepsilon>0$.

  [Hint: If $Z \sim N(0,1)$ then $P(Z>1.960)=0.025 .]$

  comment

• 4.II.19H

  #Statistics

  2008

  (i) Consider the linear model

  $$Y_{i}=\alpha+\beta x_{i}+\varepsilon_{i}$$

  where observations $Y_{i}, i=1, \ldots, n$, depend on known explanatory variables $x_{i}$, $i=1, \ldots, n$, and independent $N\left(0, \sigma^{2}\right)$ random variables $\varepsilon_{i}, i=1, \ldots, n$.

  Derive the maximum-likelihood estimators of $\alpha, \beta$ and $\sigma^{2}$.

  Stating clearly any results you require about the distribution of the maximum-likelihood estimators of $\alpha, \beta$ and $\sigma^{2}$, explain how to construct a test of the hypothesis that $\alpha=0$ against an unrestricted alternative.

  (ii) A simple ballistic theory predicts that the range of a gun fired at angle of elevation $\theta$ should be given by the formula

  $$Y=\frac{V^{2}}{g} \sin 2 \theta$$

  where $V$ is the muzzle velocity, and $g$ is the gravitational acceleration. Shells are fired at 9 different elevations, and the ranges observed are as follows:

  $\begin{array}{cccccccccc}\theta \text { (degrees) } & 5 & 15 & 25 & 35 & 45 & 55 & 65 & 75 & 85 \\ \sin 2 \theta & 0.1736 & 0.5 & 0.7660 & 0.9397 & 1 & 0.9397 & 0.7660 & 0.5 & 0.1736 \\ Y(\mathrm{~m}) & 4322 & 11898 & 17485 & 20664 & 21296 & 19491 & 15572 & 10027 & 3458\end{array}$

  The model

  $$Y_{i}=\alpha+\beta \sin 2 \theta_{i}+\varepsilon_{i}$$

  is proposed. Using the theory of part (i) above, find expressions for the maximumlikelihood estimators of $\alpha$ and $\beta$.

  The $t$-test of the null hypothesis that $\alpha=0$ against an unrestricted alternative does not reject the null hypothesis. Would you be willing to accept the model $(*)$ ? Briefly explain your answer.

  [You may need the following summary statistics of the data. If $x_{i}=\sin 2 \theta_{i}$, then $\bar{x} \equiv n^{-1} \sum x_{i}=0.63986, \bar{Y}=13802, S_{x x} \equiv \sum\left(x_{i}-\bar{x}\right)^{2}=0.81517, S_{x y}=\sum Y_{i}\left(x_{i}-\bar{x}\right)=$ 17186. ]

  comment

• 1.I.8H

  #Optimization

  2008

  State the Lagrangian Sufficiency Theorem for the maximization over $x$ of $f(x)$ subject to the constraint $g(x)=b$.

  For each $p>0$, solve

  $$\max \sum_{i=1}^{d} x_{i}^{p} \quad \text { subject to } \sum_{i=1}^{d} x_{i}=1, \quad x_{i} \geqslant 0 .$$

  comment

• 2.I.9H

  #Optimization

  2008

  Goods from three warehouses have to be delivered to five shops, the cost of transporting one unit of good from warehouse $i$ to shop $j$ being $c_{i j}$, where

  $$C=\left(\begin{array}{ccccc} 2 & 3 & 6 & 6 & 4 \\ 7 & 6 & 1 & 1 & 5 \\ 3 & 6 & 6 & 2 & 1 \end{array}\right)$$

  The requirements of the five shops are respectively $9,6,12,5$ and 10 units of the good, and each warehouse holds a stock of 15 units. Find a minimal-cost allocation of goods from warehouses to shops and its associated cost.

  comment

• 3.II.20H

  #Optimization

  2008

  Use the simplex algorithm to solve the problem

  $$\max x_{1}+2 x_{2}-6 x_{3}$$

  subject to $x_{1}, x_{2} \geqslant 0,\left|x_{3}\right| \leqslant 5$, and

  $$\begin{array}{r} x_{1}+x_{2}+x_{3} \leqslant 7 \\ 2 x_{2}+x_{3} \geqslant 1 \end{array}$$

  comment

• 4.II.20H

  #Optimization

  2008

  (i) Suppose that $f: \mathbb{R}^{n} \rightarrow \mathbb{R}$, and $g: \mathbb{R}^{n} \rightarrow \mathbb{R}^{m}$ are continuously differentiable. Suppose that the problem

  $\max f(x)$ subject to $g(x)=b$

  is solved by a unique $\bar{x}=\bar{x}(b)$ for each $b \in \mathbb{R}^{m}$, and that there exists a unique $\lambda(b) \in \mathbb{R}^{m}$ such that

  $$\varphi(b) \equiv f(\bar{x}(b))=\sup _{x}\left\{f(x)+\lambda(b)^{T}(b-g(x))\right\}$$

  Assuming that $\bar{x}$ and $\lambda$ are continuously differentiable, prove that

  $$\frac{\partial \varphi}{\partial b_{i}}(b)=\lambda_{i}(b)$$

  (ii) The output of a firm is a function of the capital $K$ deployed, and the amount $L$ of labour employed, given by

  $$f(K, L)=K^{\alpha} L^{\beta}$$

  where $\alpha, \beta \in(0,1)$. The firm's manager has to optimize the output subject to the budget constraint

  $$K+w L=b,$$

  where $w>0$ is the wage rate and $b>0$ is the available budget. By casting the problem in Lagrangian form, find the optimal solution and verify the relation $(*)$.

  comment

• 1.II.19H

  #Markov Chains

  2008

  The village green is ringed by a fence with $N$ fenceposts, labelled $0,1, \ldots, N-1$. The village idiot is given a pot of paint and a brush, and started at post 0 with instructions to paint all the posts. He paints post 0 , and then chooses one of the two nearest neighbours, 1 or $N-1$, with equal probability, moving to the chosen post and painting it. After painting a post, he chooses with equal probability one of the two nearest neighbours, moves there and paints it (regardless of whether it is already painted). Find the distribution of the last post unpainted.

  comment

• 2.II.20H

  #Markov Chains

  2008

  A Markov chain with state-space $I=\mathbb{Z}^{+}$has non-zero transition probabilities $p_{00}=q_{0}$ and

  $$p_{i, i+1}=p_{i}, \quad p_{i+1, i}=q_{i+1} \quad(i \in I) .$$

  Prove that this chain is recurrent if and only if

  $$\sum_{n \geqslant 1} \prod_{r=1}^{n} \frac{q_{r}}{p_{r}}=\infty$$

  Prove that this chain is positive-recurrent if and only if

  $$\sum_{n \geqslant 1} \prod_{r=1}^{n} \frac{p_{r-1}}{q_{r}}<\infty$$

  comment

• 3.I.9H

  #Markov Chains

  2008

  What does it mean to say that a Markov chain is recurrent?

  Stating clearly any general results to which you appeal, prove that the symmetric simple random walk on $\mathbb{Z}$ is recurrent.

  comment

• 4.I.9H

  #Markov Chains

  2008

  A Markov chain on the state-space $I=\{1,2,3,4,5,6,7\}$ has transition matrix

  $$P=\left(\begin{array}{ccccccc} 0 & 1 / 2 & 1 / 4 & 0 & 1 / 4 & 0 & 0 \\ 1 / 3 & 0 & 1 / 2 & 0 & 0 & 1 / 6 & 0 \\ 0 & 0 & 0 & 1 & 0 & 0 & 0 \\ 0 & 0 & 1 & 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 & 1 & 0 \\ 0 & 0 & 0 & 0 & 0 & 0 & 1 \\ 0 & 0 & 0 & 0 & 1 / 2 & 0 & 1 / 2 \end{array}\right)$$

  Classify the chain into its communicating classes, deciding for each what the period is, and whether the class is recurrent.

  For each $i, j \in I$ say whether the $\operatorname{limit}^{-1} \lim _{n \rightarrow \infty} p_{i j}^{(n)}$ exists, and evaluate the limit when it does exist.

  comment

• 1.I.1H

  #Number Theory

  2008

  Define the continued fraction of a real number $\alpha$.

  Compute the continued fraction of $\sqrt{19}$.

  comment

• 2.I.1H

  #Number Theory

  2008

  What does it mean for a positive definite quadratic form with integer coefficients to be reduced?

  Show that there are precisely three reduced forms of this type with discriminant equal to $-23$.

  Which odd primes are properly represented by some positive definite binary quadratic form (with integer coefficients) of discriminant $-23$ ?

  comment

• 3.I.1H

  #Number Theory

  2008

  Prove that, for all $x \geqslant 2$, we have

  $$\sum_{p \leqslant x} \frac{1}{p}>\log \log x-\frac{1}{2}$$

  [You may assume that, for $0<u<1$,

  $$-\log (1-u)-u<\frac{u^{2}}{2(1-u)} .$$

  comment

• 3.II.11H

  #Number Theory

  2008

  State the reciprocity law for the Jacobi symbol.

  Let $a$ be an odd integer $>1$, which is not a square. Prove that there exists a positive integer $n$ such that $n \equiv 1 \bmod 4$ and

  $$\left(\frac{n}{a}\right)=-1$$

  Prove further that there exist infinitely many prime numbers $p$ such that

  $$\left(\frac{a}{p}\right)=-1$$

  comment

• 4.I.1H

  #Number Theory

  2008

  Let $p$ be an odd prime number. Assuming that the multiplicative group of $\mathbb{Z} / p \mathbb{Z}$ is cyclic, prove that the multiplicative group of units of $\mathbb{Z} / p^{n} \mathbb{Z}$ is cyclic for all $n \geqslant 1$.

  Find an integer $a$ such that its residue class in $\mathbb{Z} / 11^{n} \mathbb{Z}$ generates the multiplicative group of units for all $n \geqslant 1$.

  comment

• 4.II.11H

  #Number Theory

  2008

  Let $N>1$ be an integer, which is not a square, and let $p_{k} / q_{k}(k=1,2, \ldots)$ be the convergents to $\sqrt{N}$. Prove that

  $$\left|p_{k}^{2}-q_{k}^{2} N\right|<2 \sqrt{N} \quad(k=1,2, \ldots)$$

  Explain briefly how this result can be used to generate a factor base $B$, and a set of $B$-numbers which may lead to a factorization of $N$.

  comment

• 1.I.2F

  #Topics in Analysis

  2008

  Let $P_{0}, P_{1}, P_{2}, \ldots$ be non-zero orthogonal polynomials on an interval $[a, b]$ such that the degree of $P_{j}$ is equal to $j$ for every $j=0,1,2, \ldots$, where the orthogonality is with respect to the inner product $<f, g>=\int_{a}^{b} f g$. If $f$ is any continuous function on $[a, b]$ orthogonal to $P_{0}, P_{1}, \ldots, P_{n-1}$ and not identically zero, prove that $f$ must have at least $n$ distinct zeros in $(a, b)$.

  comment

• 2.II.11F

  #Topics in Analysis

  2008

  Let $L: C([0,1]) \rightarrow C([0,1])$ be an operator satisfying the conditions

  (i) $L f \geqslant 0$ for any $f \in C([0,1])$ with $f \geqslant 0$,

  (ii) $L(a f+b g)=a L f+b L g$ for any $f, g \in C([0,1])$ and $a, b \in \mathbf{R}$ and

  (iii) $Z_{f} \subseteq Z_{L f}$ for any $f \in C([0,1])$, where $Z_{f}$ denotes the set of zeros of $f$.

  Prove that there exists a function $h \in C([0,1])$ with $h \geqslant 0$ such that $L f=h f$ for every $f \in C([0,1])$.

  comment

• $3 . \mathrm{I} . 2 \mathrm{~F} \quad$

  #Topics in Analysis

  2008

  (a) State the Baire category theorem in its closed sets version.

  (b) Let $f_{n}: \mathbf{R} \rightarrow \mathbf{R}$ be a continuous function for each $n=1,2,3, \ldots$ and suppose that there is a function $f: \mathbf{R} \rightarrow \mathbf{R}$ such that $f_{n}(x) \rightarrow f(x)$ for each $x \in \mathbf{R}$. Prove that for each $\epsilon>0$, there exists an integer $N_{0}$ and a non-empty open interval $I \subset \mathbf{R}$ such that $\left|f_{n}(x)-f(x)\right| \leqslant \epsilon$ for all $n \geqslant N_{0}$ and $x \in I$.

  [Hint: consider, for $N=1,2,3, \ldots$, the sets

  $$\left.Q_{N}=\left\{x \in \mathbf{R}:\left|f_{n}(x)-f_{m}(x)\right| \leqslant \epsilon: \forall n, m \geqslant N\right\} .\right]$$

  comment

• $2 . \mathrm{I} . 2 \mathrm{~F} \quad$

  #Topics in Analysis

  2008

  (a) State Brouwer's fixed point theorem in the plane and prove that the statement is equivalent to non-existence of a continuous retraction of the closed disk $D$ to its boundary $\partial D$.

  (b) Use Brouwer's fixed point theorem to prove that there is a complex number $z$ in the closed unit disc such that $z^{6}-z^{5}+2 z^{2}+6 z+1=0$.

  comment

• $3 . \mathrm{II} . 12 \mathrm{~F}$

  #Topics in Analysis

  2008

  (a) State Liouville's theorem on approximation of algebraic numbers by rationals.

  (b) Consider the continued fraction expression

  $$x=a_{0}+\frac{1}{a_{1}+\frac{1}{a_{2}+\frac{1}{a_{3}+\ldots}}}$$

  in which the coefficients $a_{n}$ are all positive integers forming an unbounded set. Let $\frac{p_{n}}{q_{n}}$ be the $n$th convergent. Prove that

  $$\left|x-\frac{p_{n}}{q_{n}}\right| \leqslant \frac{1}{q_{n} q_{n+1}}$$

  and use this inequality together with Liouville's theorem to deduce that $x^{2}$ is irrational.

  [ You may assume without proof that, for $n=1,2,3, \ldots$,

  $$\left.\left(\begin{array}{ll} p_{n+1} & p_{n} \\ q_{n+1} & q_{n} \end{array}\right)=\left(\begin{array}{cc} p_{n} & p_{n-1} \\ q_{n} & q_{n-1} \end{array}\right)\left(\begin{array}{cc} a_{n+1} & 1 \\ 1 & 0 \end{array}\right) .\right]$$

  comment

• 4.I.2F

  #Topics in Analysis

  2008

  (a) State Runge's theorem on uniform approximation of analytic functions by polynomials.

  (b) Suppose $f$ is analytic on

  $$\Omega=\{z \in \mathbf{C}:|z|<1\} \backslash\{z \in \mathbf{C}: \operatorname{Im}(z)=0, \operatorname{Re}(z) \leqslant 0\} .$$

  Prove that there exists a sequence of polynomials which converges to $f$ uniformly on compact subsets of $\Omega$.

  comment

• 1.I.3G

  #Geometry of Group Actions

  2008

  Prove that an isometry of Euclidean space $\mathbb{R}^{3}$ is an affine transformation.

  Deduce that a finite group of isometries of $\mathbb{R}^{3}$ has a common fixed point.

  comment

• 1.II.11G

  #Geometry of Group Actions

  2008

  What is meant by an inversion in a circle in $\mathbb{C} \cup\{\infty\}$ ? Show that a composition of two inversions is a Möbius transformation.

  Hence, or otherwise, show that if $C^{+}$and $C^{-}$are two disjoint circles in $\mathbb{C}$, then the composition of the inversions in $C^{+}$and $C^{-}$has two fixed points.

  comment

• 2.I.3G

  #Geometry of Group Actions

  2008

  State a theorem classifying lattices in $\mathbb{R}^{2}$. Define a frieze group.

  Show there is a frieze group which is isomorphic to $\mathbb{Z}$ but is not generated by a translation, and draw a picture whose symmetries are this group.

  comment

• 3.I.3G

  #Geometry of Group Actions

  2008

  Let $\operatorname{dim}_{H}$ denote the Hausdorff dimension of a set in $\mathbb{R}^{n}$. Prove that if $\operatorname{dim}_{H}(F)<1$ then $F$ is totally disconnected.

  [You may assume that if $f: \mathbb{R}^{n} \rightarrow \mathbb{R}^{m}$ is a Lipschitz map then

  $$\left.\operatorname{dim}_{H}(f(F)) \leqslant \operatorname{dim}_{H}(F) .\right]$$

  comment

• 4.I $3 \mathrm{G}$

  #Geometry of Group Actions

  2008

  Define the hyperbolic metric (in the sense of metric spaces) on the 3 -ball.

  Given a finite set in hyperbolic 3 -space, show there is at least one closed ball of minimal radius containing that set.

  comment

• 4.II.12G

  #Geometry of Group Actions

  2008

  What does it mean for a subgroup $G$ of the Möbius group to be discrete?

  Show that a discrete group necessarily acts properly discontinuously in hyperbolic 3-space.

  [You may assume that a discrete subgroup of a matrix group is a closed subset.]

  comment

• 1.I.4G

  #Coding and Cryptography

  2008

  Define the entropy $H(X)$ of a random variable $X$ that takes no more than $N$ different values. What are the maximum and the minimum values for the entropy for a fixed value of $N$ ? Explain when the maximum and minimum are attained. You should prove any inequalities that you use.

  comment

• 2.I.4G

  #Coding and Cryptography

  2008

  Describe briefly the Shannon-Fano and Huffman binary codes for a finite alphabet. Find examples of such codes for the alphabet $\mathcal{A}=\{a, b, c, d\}$ when the four letters are taken with probabilities $0.4,0.3,0.2$ and $0.1$ respectively.

  comment

• 1.II.12G

  #Coding and Cryptography

  2008

  State Shannon's Noisy Coding Theorem for a binary symmetric channel.

  Define the mutual information of two discrete random variables $X$ and $Y$. Prove that the mutual information is symmetric and non-negative. Define also the information capacity of a channel.

  A channel transmits numbers chosen from the alphabet $\mathcal{A}=\{0,1,2\}$ and has transition matrix

  $$\left(\begin{array}{ccc} 1-2 \beta & \beta & \beta \\ \beta & 1-2 \beta & \beta \\ \beta & \beta & 1-2 \beta \end{array}\right)$$

  for a number $\beta$ with $0 \leqslant \beta \leqslant \frac{1}{3}$. Calculate the information capacity of the channel.

  comment

• 3.I.4G

  #Coding and Cryptography

  2008

  Define the Hamming code $h: \mathbb{F}_{2}^{4} \rightarrow \mathbb{F}_{2}^{7}$ and prove that the minimum distance between two distinct code words is 3. Explain how the Hamming code allows one error to be corrected.

  A new code $c: \mathbb{F}_{2}^{4} \rightarrow \mathbb{F}_{2}^{8}$ is obtained by using the Hamming code for the first 7 bits and taking the last bit as a check digit on the previous 7 . Find the minimum distance between two distinct code words for this code. How many errors can this code detect? How many errors can it correct?

  comment

• 2.II.12G

  #Coding and Cryptography

  2008

  Describe the Rabin cipher with modulus $N$, explaining how it can be deciphered by the intended recipient and why it is difficult for an interceptor to decipher it.

  The Bursars' Committee decides to communicate using Rabin ciphers to maintain confidentiality. The secretary of the committee encrypts a message, thought of as a positive integer $m$, using the Rabin cipher with modulus $N$ (with $0<m<N$ ) and publishes both the encrypted message and the modulus. A foolish bursar deciphers this message to read it but then encrypts it again using a Rabin cipher with a different modulus $N^{\prime}$ (with $\left.m<N^{\prime}\right)$ and publishes the newly encrypted message and $N^{\prime}$. The president of CUSU, who happens to be a talented mathematician, knows that this has happened. Explain how the president can work out what the original message was using the two different encrypted versions.

  Can the president of CUSU also decipher other messages sent out by the Bursars' Committee?

  comment

• 4.I.4G

  #Coding and Cryptography

  2008

  What is a binary cyclic code of length $N$ ? What is the generator polynomial for such a cyclic code? Prove that the generator polynomial is a factor of $X^{N}-1$ over the field $\mathbb{F}_{2}$.

  Find all the binary cyclic codes of length 5 .

  comment

• 1.I.5J

  #Statistical Modelling

  2008

  Consider the following Binomial generalized linear model for data $y_{1}, \ldots, y_{n}$, with logit link function. The data $y_{1}, \ldots, y_{n}$ are regarded as observed values of independent random variables $Y_{1}, \ldots, Y_{n}$, where

  $$Y_{i} \sim \operatorname{Bin}\left(1, \mu_{i}\right), \quad \log \frac{\mu_{i}}{1-\mu_{i}}=\beta^{\top} x_{i}, \quad i=1, \ldots, n,$$

  where $\beta$ is an unknown $p$-dimensional parameter, and where $x_{1}, \ldots, x_{n}$ are known $p$ dimensional explanatory variables. Write down the likelihood function for $y=\left(y_{1}, \ldots, y_{n}\right)$ under this model.

  Show that the maximum likelihood estimate $\hat{\beta}$ satisfies an equation of the form $X^{\top} y=X^{\top} \hat{\mu}$, where $X$ is the $p \times n$ matrix with rows $x_{1}^{\top}, \ldots, x_{n}^{\top}$, and where $\hat{\mu}=$ $\left(\hat{\mu}_{1}, \ldots, \hat{\mu}_{n}\right)$, with $\hat{\mu}_{i}$ a function of $x_{i}$ and $\hat{\beta}$, which you should specify.

  Define the deviance $D(y ; \hat{\mu})$ and find an explicit expression for $D(y ; \hat{\mu})$ in terms of $y$ and $\hat{\mu}$ in the case of the model above.

  comment

• 1.II.13J

  #Statistical Modelling

  2008

  Consider performing a two-way analysis of variance (ANOVA) on the following data: $>\mathrm{Y}[,, 1]$ $\mathrm{Y}[,, 2]$ $\mathrm{Y}[,, 3]$ $[, 1] \quad[, 2]$ $[, 1] \quad[, 2]$ $[, 1] \quad[, 2]$

  

  Explain and interpret the R commands and (slightly abbreviated) output below. In particular, you should describe the model being fitted, and comment on the hypothesis tests which are performed under the summary and anova commands. $>\mathrm{K}<-\operatorname{dim}(\mathrm{Y})[1]$ $>I<-\operatorname{dim}(Y)[2]$ $>\mathrm{J}<-\operatorname{dim}(\mathrm{Y})[3]$ $>\mathrm{C}(\mathrm{I}, \mathrm{J}, \mathrm{K})$

  [1] $2 \quad 3 \quad 10$

  $>y<-$ as.vector $(Y)$

  $>\mathrm{a}<-\mathrm{gl}(\mathrm{I}, \mathrm{K}$, length $(\mathrm{y}))$

  $>\mathrm{b}<-\operatorname{gl}(\mathrm{J}, \mathrm{K} * \mathrm{I}$, length $(\mathrm{y}))$

  $>f i t 1<-\operatorname{lm}(\mathrm{y} \sim \mathrm{a}+\mathrm{b})$

  $>\operatorname{summary}(f i t 1)$

  Coefficients:

  Estimate Std. Error t value $\operatorname{Pr}(>|t|)$

  (Intercept) $3.7673 \quad 0.3032 \quad 12.43<2 \mathrm{e}-16 * * *$

  $\mathrm{a} 2 \quad 3.4542 \quad 0.3032 \quad 11.393 .27 \mathrm{e}-16 * * *$

  b2 $-6.3215<0.3713-17.03<2 \mathrm{e}-16 * * *$

  b3 $-5.8268<0.3713-15.69<2 \mathrm{e}-16 * * *$

  $>\operatorname{anova}(\mathrm{fit1})$

  

  The following $\mathrm{R}$ code fits a similar model. Briefly explain the difference between this model and the one above. Based on the output of the anova call below, say whether you prefer this model over the one above, and explain your preference.

  

  Finally, explain what is being calculated in the code below and give the value that would be obtained by the final line of code.

  

  comment

• $2 . \mathrm{I} . 5 \mathrm{~J} \quad$

  #Statistical Modelling

  2008

  Suppose that we want to estimate the angles $\alpha, \beta$ and $\gamma$ (in radians, say) of the triangle $A B C$, based on a single independent measurement of the angle at each corner. Suppose that the error in measuring each angle is normally distributed with mean zero and variance $\sigma^{2}$. Thus, we model our measurements $y_{A}, y_{B}, y_{C}$ as the observed values of random variables

  $$Y_{A}=\alpha+\varepsilon_{A}, \quad Y_{B}=\beta+\varepsilon_{B}, \quad Y_{C}=\gamma+\varepsilon_{C},$$

  where $\varepsilon_{A}, \varepsilon_{B}, \varepsilon_{C}$ are independent, each with distribution $N\left(0, \sigma^{2}\right)$. Find the maximum likelihood estimate of $\alpha$ based on these measurements.

  Can the assumption that $\varepsilon_{A}, \varepsilon_{B}, \varepsilon_{C} \sim N\left(0, \sigma^{2}\right)$ be criticized? Why or why not?

  comment

• 3.I.5J

  #Statistical Modelling

  2008

  Consider the linear model $Y=X \beta+\varepsilon$. Here, $Y$ is an $n$-dimensional vector of observations, $X$ is a known $n \times p$ matrix, $\beta$ is an unknown $p$-dimensional parameter, and $\varepsilon \sim N_{n}\left(0, \sigma^{2} I\right)$, with $\sigma^{2}$ unknown. Assume that $X$ has full rank and that $p \ll n$. Suppose that we are interested in checking the assumption $\varepsilon \sim N_{n}\left(0, \sigma^{2} I\right)$. Let $\hat{Y}=X \hat{\beta}$, where $\hat{\beta}$ is the maximum likelihood estimate of $\beta$. Write in terms of $X$ an expression for the projection matrix $P=\left(p_{i j}: 1 \leqslant i, j \leqslant n\right)$ which appears in the maximum likelihood equation $\hat{Y}=X \hat{\beta}=P Y$.

  Find the distribution of $\hat{\varepsilon}=Y-\hat{Y}$, and show that, in general, the components of $\hat{\varepsilon}$ are not independent.

  A standard procedure used to check our assumption on $\varepsilon$ is to check whether the studentized fitted residuals

  $$\hat{\eta}_{i}=\frac{\hat{\varepsilon}_{i}}{\tilde{\sigma} \sqrt{1-p_{i i}}}, \quad i=1, \ldots, n$$

  look like a random sample from an $N(0,1)$ distribution. Here,

  $$\tilde{\sigma}^{2}=\frac{1}{n-p}\|Y-X \hat{\beta}\|^{2} .$$

  Say, briefly, how you might do this in R.

  This procedure appears to ignore the dependence between the components of $\hat{\varepsilon}$ noted above. What feature of the given set-up makes this reasonable?

  comment

• 4.I $. 5 \mathrm{~J} \quad$

  #Statistical Modelling

  2008

  A long-term agricultural experiment had $n=90$ grassland plots, each $25 \mathrm{~m} \times 25 \mathrm{~m}$, differing in biomass, soil pH, and species richness (the count of species in the whole plot). While it was well-known that species richness declines with increasing biomass, it was not known how this relationship depends on soil pH. In the experiment, there were 30 plots of "low pH", 30 of "medium pH" and 30 of "high pH". Three lines of the data are reproduced here as an aid.

  Briefly explain the commands below. That is, explain the models being fitted.

  Let $H_{1}, H_{2}$ and $H_{3}$ denote the hypotheses represented by the three models and fits. Based on the output of the code below, what hypotheses are being tested, and which of the models seems to give the best fit to the data? Why?

  

  Finally, what is the value obtained by the following command?

  

  $$\begin{aligned} & >\operatorname{grass}[\mathrm{c}(1,31,61),] \\ & \text { pH Biomass Species } \\ & 1 \text { high } 0.4692972 \quad 30 \\ & 31 \text { mid } 0.1757627 \quad 29 \\ & 61 \text { low } 0.1008479 \quad 18 \\ & >\text { fit1 <- glm(Species Biomass, family = poisson) } \\ & >\text { fit2 <- glm(Species } ~ \mathrm{pH}+\text { Biomass, family }=\text { poisson) } \\ & >\text { fit3 <- glm(Species } \mathrm{pH} * \text { Biomass, family }=\text { poisson) } \end{aligned}$$

  comment

• 4.II.13J

  #Statistical Modelling

  2008

  Consider the following generalized linear model for responses $y_{1}, \ldots, y_{n}$ as a function of explanatory variables $x_{1}, \ldots, x_{n}$, where $x_{i}=\left(x_{i 1}, \ldots, x_{i p}\right)^{\top}$ for $i=1, \ldots, n$. The responses are modelled as observed values of independent random variables $Y_{1}, \ldots, Y_{n}$, with

  $$Y_{i} \sim \operatorname{ED}\left(\mu_{i}, \sigma_{i}^{2}\right), \quad g\left(\mu_{i}\right)=x_{i}^{\top} \beta, \quad \sigma_{i}^{2}=\sigma^{2} a_{i},$$

  Here, $g$ is a given link function, $\beta$ and $\sigma^{2}$ are unknown parameters, and the $a_{i}$ are treated as known.

  [Hint: recall that we write $Y \sim E D\left(\mu, \sigma^{2}\right)$ to mean that $Y$ has density function of the form

  $$f\left(y ; \mu, \sigma^{2}\right)=a\left(\sigma^{2}, y\right) \exp \left\{\frac{1}{\sigma^{2}}[\theta(\mu) y-K(\theta(\mu))]\right\}$$

  for given functions a and $\theta .]$

  [ You may use without proof the facts that, for such a random variable $Y$,

  $$\left.E(Y)=K^{\prime}(\theta(\mu)), \quad \operatorname{var}(Y)=\sigma^{2} K^{\prime \prime}(\theta(\mu)) \equiv \sigma^{2} V(\mu) .\right]$$

  Show that the score vector and Fisher information matrix have entries:

  $$U_{j}(\beta)=\sum_{i=1}^{n} \frac{\left(y_{i}-\mu_{i}\right) x_{i j}}{\sigma_{i}^{2} V\left(\mu_{i}\right) g^{\prime}\left(\mu_{i}\right)}, \quad j=1, \ldots, p$$

  and

  $$i_{j k}(\beta)=\sum_{i=1}^{n} \frac{x_{i j} x_{i k}}{\sigma_{i}^{2} V\left(\mu_{i}\right)\left(g^{\prime}\left(\mu_{i}\right)\right)^{2}}, \quad j, k=1, \ldots, p$$

  How do these expressions simplify when the canonical link is used?

  Explain briefly how these two expressions can be used to obtain the maximum likelihood estimate $\hat{\beta}$ for $\beta$.

  comment

• 1.I.6B

  #Mathematical Biology

  2008

  A gene product with concentration $g$ is produced by a chemical $S$ of concentration $s$, is autocatalysed and degrades linearly according to the kinetic equation

  $$\frac{d g}{d t}=f(g, s)=s+k \frac{g^{2}}{1+g^{2}}-g$$

  where $k>0$ is a constant.

  First consider the case $s=0$. Show that if $k>2$ there are two positive steady states, and determine their stability. Sketch the reaction rate $f(g, 0)$.

  Now consider $s>0$. Show that there is a single steady state if $s$ exceeds a critical value. If the system starts in the steady state $g=0$ with $s=0$ and then $s$ is increased sufficiently before decreasing back to zero, show that a biochemical switch can be achieved to a state $g=g_{2}$, whose value you should determine.

  comment

• 2.I.6B

  #Mathematical Biology

  2008

  The population dynamics of a species is governed by the discrete model

  $$N_{t+1}=f\left(N_{t}\right)=N_{t} \exp \left[r\left(1-\frac{N_{t}}{K}\right)\right]$$

  where $r$ and $K$ are positive constants.

  Determine the steady states and their eigenvalues. Show that a period-doubling bifurcation occurs at $r=2$.

  Show graphically that the maximum possible population after $t=0$ is

  $$N_{\max }=f(K / r) .$$

  comment

• 2.II.13B

  #Mathematical Biology

  2008

  Consider the nonlinear equation describing the invasion of a population $u(x, t)$

  $$u_{t}=m u_{x x}+f(u)$$

  with $m>0, f(u)=-u(u-r)(u-1)$ and $0<r<1$ a constant.

  (a) Considering time-dependent spatially homogeneous solutions, show that there are two stable and one unstable uniform steady states.

  (b) In the case $r=\frac{1}{2}$, find the stationary 'front' which has

  $$u \rightarrow 1 \text { as } x \rightarrow-\infty \quad \text { and } \quad u \rightarrow 0 \text { as } x \rightarrow \infty$$

  [Hint: $f(u)=F^{\prime}(u)$ where $F(u)=-\frac{1}{4} u^{2}(1-u)^{2}+\frac{1}{6}\left(r-\frac{1}{2}\right) u^{2}(2 u-3)$.]

  (c) Now consider travelling-wave solutions to (1) of the form $u(x, t)=U(z)$ where $z=x-v t$. Show that $U$ satisfies an equation of the form

  $$m \ddot{U}+v \dot{U}=-V^{\prime}(U),$$

  where $\left({ }^{\cdot}\right) \equiv \frac{d}{d z}(\quad)$ and ()$^{\prime} \equiv \frac{d}{d U}(\quad)$.

  Sketch the form of $V(U)$ for $r=\frac{1}{2}, r>\frac{1}{2}$ and $r<\frac{1}{2}$. Using conditions (2), show that

  $$v \int_{-\infty}^{\infty} \dot{U}^{2} d z=F(1)-F(0) .$$

  Deduce how the sign of the travelling-wave velocity $v$ depends on $r$.

  comment

• 3.I.6B

  #Mathematical Biology

  2008

  An allosteric enzyme $E$ reacts with a substrate $S$ to produce a product $P$ according to the mechanism

  $$\begin{gathered} S+E \underset{k_{-1}}{\stackrel{k_{1}}{\rightleftharpoons}} C_{1} \stackrel{k_{2}}{\longrightarrow} E+P \\ S+C_{1} \underset{k_{-3}}{\stackrel{k_{3}}{\rightleftharpoons}} C_{2} \stackrel{k_{4}}{\rightarrow} C_{1}+P \end{gathered}$$

  where $C_{1}$ and $C_{2}$ are enzyme-substrate complexes. With lowercase letters denoting concentrations, write down a system of differential equations based on the Law of Mass Action which model this reaction mechanism.

  The initial conditions are $s=s_{0}, e=e_{0}, c_{1}=c_{2}=p=0 .$ Using $u=s / s_{0}$, $v_{i}=c_{i} / e_{0}, \tau=k_{1} e_{0} t$ and $\epsilon=e_{0} / s_{0}$, show that the nondimensional reaction mechanism reduces to

  $$\frac{d u}{d \tau}=f\left(u, v_{1}, v_{2}\right) \quad \text { and } \quad \epsilon \frac{d v_{i}}{d \tau}=g_{i}\left(u, v_{1}, v_{2}\right) \quad \text { for } \quad i=1,2$$

  finding expressions for $f, g_{1}$ and $g_{2}$.

  comment

• 3.II.13B

  #Mathematical Biology

  2008

  Consider the activator-inhibitor system in the fast-inhibitor limit

  $$\begin{gathered} u_{t}=D u_{x x}-u(u-r)(u-1)-\rho(v-u) \\ 0=v_{x x}-(v-u) \end{gathered}$$

  where $D$ is small, $0<r<1$ and $0<\rho<1$.

  Examine the linear stability of the state $u=v=0$ using perturbations of the form $\exp (i k x+\sigma t)$. Sketch the growth-rate $\sigma$ as a function of the wavenumber $k$. Find the growth-rate of the most unstable wave, and so determine the boundary in the $r$ - $\rho$ parameter plane which separates stable and unstable modes.

  Show that the system is unchanged under the transformation $u \rightarrow 1-u, v \rightarrow 1-v$ and $r \rightarrow 1-r$. Hence write down the equation for the boundary between stable and unstable modes of the state $u=v=1$.

  comment

• 4.I.6B

  #Mathematical Biology

  2008

  A semi-infinite elastic filament lies along the positive $x$-axis in a viscous fluid. When it is perturbed slightly to the shape $y=h(x, t)$, it evolves according to

  $$\zeta h_{t}=-A h_{x x x x}$$

  where $\zeta$ characterises the viscous drag and $A$ the bending stiffness. Motion is forced by boundary conditions

  $$h=h_{0} \cos (\omega t) \quad \text { and } \quad h_{x x}=0 \quad \text { at } \quad x=0, \quad \text { while } \quad h \rightarrow 0 \quad \text { as } \quad x \rightarrow \infty$$

  Use dimensional analysis to find the characteristic length $\ell(\omega)$ of the disturbance. Show that the steady oscillating solution takes the form

  $$h(x, t)=h_{0} \operatorname{Re}\left[e^{i \omega t} F(\eta)\right] \quad \text { with } \quad \eta=x / \ell,$$

  finding the ordinary differential equation for $F$.

  Find two solutions for $F$ which decay as $x \rightarrow \infty$. Without solving explicitly for the amplitudes, show that $h(x, t)$ is the superposition of two travelling waves which decay with increasing $x$, one with crests moving to the left and one to the right. Which dominates?

  comment

• 1.I.7A

  #Dynamical Systems

  2008

  Sketch the phase plane of the system

  $$\begin{aligned} &\dot{x}=y \\ &\dot{y}=-x+x^{2}-k y \end{aligned}$$

  (i) for $k=0$ and (ii) for $k=1 / 10$. Include in your sketches any trajectories that are the separatrices of a saddle point. In case (ii) shade the domain of stability of the origin.

  comment

• 3.II.14A

  #Dynamical Systems

  2008

  Define the Poincaré index of a simple closed curve, not necessarily a trajectory, and the Poincaré index of an isolated fixed point $\mathbf{x}_{0}$ for a dynamical system $\dot{\mathbf{x}}=\mathbf{f}(\mathbf{x})$ in $\mathbb{R}^{2}$. State the Poincaré index of a periodic orbit.

  Consider the system

  $$\begin{aligned} &\dot{x}=y+a x-b x^{3} \\ &\dot{y}=x^{3}-x \end{aligned}$$

  where $a$ and $b$ are constants and $a \neq 0$.

  (a) Find and classify the fixed points, and state their Poincaré indices.

  (b) By considering a suitable function $H(x, y)$, show that any periodic orbit $\Gamma$ satisfies

  $$\oint_{\Gamma}\left(x-x^{3}\right)\left(a x-b x^{3}\right) d t=0$$

  where $x(t)$ is evaluated along the orbit.

  (c) Deduce that if $b / a<1$ then the second-order differential equation

  $$\ddot{x}-\left(a-3 b x^{2}\right) \dot{x}+x-x^{3}=0$$

  has no periodic solutions.

  comment

• 2.I.7A

  #Dynamical Systems

  2008

  Explain the difference between a stationary bifurcation and an oscillatory bifurcation for a fixed point $\mathbf{x}_{0}$ of a dynamical system $\dot{\mathbf{x}}=\mathbf{f}(\mathbf{x} ; \mu)$ in $\mathbb{R}^{n}$ with a real parameter $\mu$.

  The normal form of a Hopf bifurcation in polar coordinates is

  $$\begin{aligned} &\dot{r}=\mu r-a r^{3}+O\left(r^{5}\right) \\ &\dot{\theta}=\omega+c \mu-b r^{2}+O\left(r^{4}\right) \end{aligned}$$

  where $a, b, c$ and $\omega$ are constants, $a \neq 0$, and $\omega>0$. Sketch the phase plane near the bifurcation for each of the cases (i) $\mu<0<a$, (ii) $0<\mu, a$, (iii) $\mu, a<0$ and (iv) $a<0<\mu$.

  Let $R$ be the radius and $T$ the period of the limit cycle when one exists. Sketch how $R$ varies with $\mu$ for the case when the limit cycle is subcritical. Find the leading-order approximation to $d T / d \mu$ for $|\mu| \ll 1$.

  comment

• 4.II.14A

  #Dynamical Systems

  2008

  Explain the difference between a hyperbolic and a nonhyperbolic fixed point $\mathbf{x}_{0}$ for a dynamical system $\dot{\mathbf{x}}=\mathbf{f}(\mathbf{x})$ in $\mathbb{R}^{n}$.

  Consider the system in $\mathbb{R}^{2}$, where $\mu$ is a real parameter,

  $$\begin{aligned} &\dot{x}=x\left(\mu-x+y^{2}\right) \\ &\dot{y}=y\left(1-x-y^{2}\right) \end{aligned}$$

  Show that the fixed point $(\mu, 0)$ has a bifurcation when $\mu=1$, while the fixed points $(0, \pm 1)$ have a bifurcation when $\mu=-1$.

  [The fixed point at $(0,-1)$ should not be considered further.]

  Analyse each of the bifurcations at $(\mu, 0)$ and $(0,1)$ in turn as follows. Make a change of variable of the form $\mathbf{X}=\mathbf{x}-\mathbf{x}_{0}(\mu), \nu=\mu-\mu_{0}$. Identify the (non-extended) stable and centre linear subspaces at the bifurcation in terms of $X$ and $Y$. By finding the leading-order approximation to the extended centre manifold, construct the evolution equation on the extended centre manifold, and determine the type of bifurcation. Sketch the local bifurcation diagram, showing which fixed points are stable.

  [Hint: the leading-order approximation to the extended centre manifold of the bifurcation at $(0,1)$ is $Y=a X$ for some coefficient a.]

  Show that there is another fixed point in $y>0$ for $\mu<1$, and that this fixed point connects the two bifurcations.

  comment

• 3.I.7A

  #Dynamical Systems

  2008

  State the normal-form equations for (i) a saddle-node bifurcation, (ii) a transcritical bifurcation and (iii) a pitchfork bifurcation, for a one-dimensional map $x_{n+1}=F\left(x_{n} ; \mu\right)$.

  Consider a period-doubling bifurcation of the form

  $$x_{n+1}=-x_{n}+\alpha+\beta x_{n}+\gamma x_{n}^{2}+\delta x_{n}^{3}+O\left(x_{n}^{4}\right),$$

  where $x_{n}=O\left(\mu^{1 / 2}\right), \alpha, \beta=O(\mu)$, and $\gamma, \delta=O(1)$ as $\mu \rightarrow 0$. Show that

  $$X_{n+2}=X_{n}+\hat{\mu} X_{n}-A X_{n}^{3}+O\left(X_{n}^{4}\right),$$

  where $X_{n}=x_{n}-\frac{1}{2} \alpha$, and the parameters $\hat{\mu}$ and $A$ are to be identified in terms of $\alpha, \beta$, $\gamma$ and $\delta$. Deduce the condition for the bifurcation to be supercritical.

  comment

• 4.I.7A

  #Dynamical Systems

  2008

  Let $F: I \rightarrow I$ be a continuous one-dimensional map of an interval $I \subset \mathbb{R}$. State when $F$ is chaotic according to Glendinning's definition.

  Prove that if $F$ has a 3 -cycle then $F^{2}$ has a horseshoe.

  [You may assume the Intermediate Value Theorem.]

  comment

• 1.I.8C

  #Further Complex Methods

  2008

  The function $F$ is defined by

  $$F(z)=\int_{0}^{\infty} \frac{t^{z-1}}{(t+1)^{2}} d t$$

  For which values of $z$ does the integral converge?

  Show that, for these values,

  $$F(z)=\frac{\pi(1-z)}{\sin (\pi z)} .$$

  comment

• 2.I.8C

  #Further Complex Methods

  2008

  The Beta function is defined for $\operatorname{Re} z>0$ by

  $$\mathrm{B}(z, q)=\int_{0}^{1} t^{q-1}(1-t)^{z-1} d t \quad(\operatorname{Re} q>0)$$

  and by analytic continuation elsewhere in the complex $z$-plane.

  Show that

  $$\left(\frac{z+q}{z}\right) \mathrm{B}(z+1, q)=\mathrm{B}(z, q)$$

  and explain how this result can be used to obtain the analytic continuation of $\mathrm{B}(z, q)$. Hence show that $\mathrm{B}(z, q)$ is analytic except for simple poles and find the residues at the poles.

  comment

• 3.I.8C

  #Further Complex Methods

  2008

  What is the effect of the Möbius transformation $z \rightarrow \frac{z}{z-1}$ on the points $z=0$, $z=\infty$ and $z=1$ ?

  By considering

  $$(z-1)^{-a} P\left\{\begin{array}{cccc} 0 & \infty & 1 & \\ 0 & a & 0 & z(z-1)^{-1} \\ 1-c & c-b & b-a & \end{array}\right\}$$

  or otherwise, show that $(z-1)^{-a} F\left(a, c-b ; c ; z(z-1)^{-1}\right)$ is a branch of the $P$-function

  

  Give a linearly independent branch.

  comment

• 1.II.14C

  #Further Complex Methods

  2008

  Show that under the change of variable $z=\sin ^{2} x$ the equation

  $$\frac{d^{2} w}{d x^{2}}+n^{2} w=0$$

  becomes

  $$\frac{d^{2} w}{d z^{2}}+\frac{2 z-1}{2 z(z-1)} \frac{d w}{d z}-\frac{n^{2}}{4(z-1) z} w=0$$

  Show that this is a Papperitz equation and that the corresponding $P$-function is

  $$P\left\{\begin{array}{rrrr} 0 & \infty & 1 & \\ 0 & \frac{1}{2} n & 0 & z \\ \frac{1}{2} & -\frac{1}{2} n & \frac{1}{2} & \end{array}\right\}$$

  Deduce that $F\left(\frac{1}{2} n,-\frac{1}{2} n ; \frac{1}{2} ; \sin ^{2} x\right)=\cos n x$.

  comment

• 4.I.8C

  #Further Complex Methods

  2008

  The Hilbert transform $\hat{f}$ of a function $f$ is defined by

  $$\hat{f}(t)=\frac{1}{\pi} \mathcal{P} \int_{-\infty}^{\infty} \frac{f(\tau)}{t-\tau} d \tau,$$

  where $\mathcal{P}$ denotes the Cauchy principal value.

  Show that the Hilbert transform of $\frac{\sin t}{t}$ is $\frac{1-\cos t}{t} .$

  comment

• 2.II.14C

  #Further Complex Methods

  2008

  (i) The function $f$ is defined by

  $$f(z)=\int_{C} t^{z-1} d t$$

  where $C$ is the circle $|t|=r$, described anti-clockwise starting on the positive real axis and where the value of $t^{z-1}$ at each point on $C$ is determined by analytic continuation along $C$ with $\arg t=0$ at the starting point. Verify by direct integration that $f$ is an entire function, the values of which depend on $r$.

  (ii) The function $J$ is defined by

  $$J(z)=\int_{\gamma} e^{t}\left(t^{2}-1\right)^{z} d t$$

  where $\gamma$ is a figure of eight, starting at $t=0$, looping anti-clockwise round $t=1$ and returning to $t=0$, then looping clockwise round $t=-1$ and returning again to $t=0$. The value of $\left(t^{2}-1\right)^{z}$ is determined by analytic continuation along $\gamma$ with $\arg \left(t^{2}-1\right)=-\pi$ at the start. Show that, for $\operatorname{Re} z>-1$,

  $$J(z)=-2 i \sin \pi z I(z),$$

  where

  $$I(z)=\int_{-1}^{1} e^{t}\left(t^{2}-1\right)^{z} d t$$

  Explain how this provides the analytic continuation of $I(z)$. Classify the singular points of the analytically continued function, commenting on the points $z=0,1, \ldots$.

  Explain briefly why the analytic continuation could not be obtained by this method if $\gamma$ were replaced by the circle $|t|=2$.

  comment

• 1.I.9A

  #Classical Dynamics

  2008

  The action for a system with generalized coordinates $q_{i}(t)$ for a time interval $\left[t_{1}, t_{2}\right]$ is given by

  $$S=\int_{t_{1}}^{t_{2}} L\left(q_{i}, \dot{q}_{i}, t\right) d t$$

  where $L$ is the Lagrangian. The end point values $q_{i}\left(t_{1}\right)$ and $q_{i}\left(t_{2}\right)$ are fixed.

  Derive Lagrange's equations from the principle of least action by considering the variation of $S$ for all possible paths.

  Define the momentum $p_{i}$ conjugate to $q_{i}$. Derive a condition for $p_{i}$ to be a constant of the motion.

  A symmetric top moves under the action of a potential $V(\theta)$. The Lagrangian is given by

  $$L=\frac{1}{2} I_{1}\left(\dot{\theta}^{2}+\dot{\phi}^{2} \sin ^{2} \theta\right)+\frac{1}{2} I_{3}(\dot{\psi}+\dot{\phi} \cos \theta)^{2}-V$$

  where the generalized coordinates are the Euler angles $(\theta, \phi, \psi)$ and the principal moments of inertia are $I_{1}$ and $I_{3}$.

  Show that $\omega_{3}=\dot{\psi}+\dot{\phi} \cos \theta$ is a constant of the motion and give expressions for two others. Show further that it is possible for the top to move with both $\theta$ and $\dot{\phi}$ constant provided these satisfy the condition

  $$I_{1} \dot{\phi}^{2} \sin \theta \cos \theta-I_{3} \omega_{3} \dot{\phi} \sin \theta=\frac{d V}{d \theta}$$

  comment

• 2.II.15B

  #Classical Dynamics

  2008

  A particle of mass $m$, charge $e$ and position vector $\mathbf{r}=\left(x_{1}, x_{2}, x_{3}\right) \equiv \mathbf{q}$ moves in a magnetic field whose vector potential is A. Its Hamiltonian is given by

  $$H(\mathbf{p}, \mathbf{q})=\frac{1}{2 m}\left(\mathbf{p}-e \frac{\mathbf{A}}{c}\right)^{2}$$

  Write down Hamilton's equations and use them to derive the equations of motion for the charged particle.

  Define the Poisson bracket $[F, G]$ for general $F(\mathbf{p}, \mathbf{q})$ and $G(\mathbf{p}, \mathbf{q})$. Show that for motion governed by the above Hamiltonian

  $$\left[m \dot{x}_{i}, x_{j}\right]=-\delta_{i j}, \quad \text { and } \quad\left[m \dot{x}_{i}, m \dot{x}_{j}\right]=\frac{e}{c}\left(\frac{\partial A_{j}}{\partial x_{i}}-\frac{\partial A_{i}}{\partial x_{j}}\right)$$

  Consider the vector potential to be given by $\mathbf{A}=(0,0, F(r))$, where $r=\sqrt{x_{1}^{2}+x_{2}^{2}}$. Use Hamilton's equations to show that $p_{3}$ is constant and that circular motion at radius $r$ with angular frequency $\Omega$ is possible provided that

  $$\Omega^{2}=-\left(p_{3}-\frac{e F}{c}\right) \frac{e}{m^{2} c r} \frac{d F}{d r}$$

  comment

• 2.I.9A

  #Classical Dynamics

  2008

  A system of $N$ particles $i=1,2,3, \ldots, N$, with mass $m_{i}$, moves around a circle of radius $a$. The angle between the radius to particle $i$ and a fixed reference radius is $\theta_{i}$. The interaction potential for the system is

  $$V=\frac{1}{2} k \sum_{j=1}^{N}\left(\theta_{j+1}-\theta_{j}\right)^{2}$$

  where $k$ is a constant and $\theta_{N+1}=\theta_{1}+2 \pi$.

  The Lagrangian for the system is

  $$L=\frac{1}{2} a^{2} \sum_{j=1}^{N} m_{j} \dot{\theta}_{j}^{2}-V$$

  Write down the equation of motion for particle $i$ and show that the system is in equilibrium when the particles are equally spaced around the circle.

  Show further that the system always has a normal mode of oscillation with zero frequency. What is the form of the motion associated with this?

  Find all the frequencies and modes of oscillation when $N=2, m_{1}=k m / a^{2}$ and $m_{2}=2 \mathrm{~km} / \mathrm{a}^{2}$, where $m$ is a constant.

  comment

• 3.I.9E

  #Classical Dynamics

  2008

  Writing $\mathbf{x}=\left(p_{1}, p_{2}, p_{3}, \ldots, p_{n}, q_{1}, q_{2}, q_{3}, \ldots, q_{n}\right)$, Hamilton's equations may be written in the form

  $$\dot{\mathbf{x}}=\mathbf{J} \frac{\partial H}{\partial \mathbf{x}} \text {, }$$

  where the $2 n \times 2 n$ matrix

  $$\mathbf{J}=\left(\begin{array}{rr} 0 & -I \\ I & 0 \end{array}\right)$$

  and $I$ and 0 denote the $n \times n$ unit and zero matrices respectively.

  Explain what is meant by the statement that the transformation $\mathbf{x} \rightarrow \mathbf{y}$,

  $$\left(p_{1}, p_{2}, p_{3}, \ldots, p_{n}, q_{1}, q_{2}, q_{3}, \ldots, q_{n}\right) \rightarrow\left(P_{1}, P_{2}, P_{3}, \ldots, P_{n}, Q_{1}, Q_{2}, Q_{3}, \ldots, Q_{n}\right)$$

  is canonical, and show that the condition for this is that

  $$\mathbf{J}=\mathcal{J} \mathbf{J} \mathcal{J}^{T}$$

  where $\mathcal{J}$ is the Jacobian matrix with elements

  $$\mathcal{J}_{i j}=\frac{\partial y_{i}}{\partial x_{j}}$$

  Use this condition to show that for a system with $n=1$ the transformation given by

  $$P=p+2 q, \quad Q=\frac{1}{2} q-\frac{1}{4} p$$

  is canonical.

  comment

• 4.II.15B

  #Classical Dynamics

  2008

  (a) A Hamiltonian system with $n$ degrees of freedom has Hamiltonian $H=H(\mathbf{p}, \mathbf{q})$, where the coordinates $\mathbf{q}=\left(q_{1}, q_{2}, q_{3}, \ldots, q_{n}\right)$ and the momenta $\mathbf{p}=\left(p_{1}, p_{2}, p_{3}, \ldots, p_{n}\right)$ respectively.

  Show from Hamilton's equations that when $H$ does not depend on time explicitly, for any function $F=F(\mathbf{p}, \mathbf{q})$,

  $$\frac{d F}{d t}=[F, H],$$

  where $[F, H]$ denotes the Poisson bracket.

  For a system of $N$ interacting vortices

  $$H(\mathbf{p}, \mathbf{q})=-\frac{\kappa}{4} \sum_{\substack{i=1 \\ N}}^{N} \sum_{\substack{j=1 \\ j \neq i}}^{N} \ln \left[\left(p_{i}-p_{j}\right)^{2}+\left(q_{i}-q_{j}\right)^{2}\right]$$

  where $\kappa$ is a constant. Show that the quantity defined by

  $$F=\sum_{j=1}^{N}\left(q_{j}^{2}+p_{j}^{2}\right)$$

  is a constant of the motion.

  (b) The action for a Hamiltonian system with one degree of freedom with $H=H(p, q)$ for which the motion is periodic is

  $$I=\frac{1}{2 \pi} \oint p(H, q) d q .$$

  Show without assuming any specific form for $H$ that the period of the motion $T$ is given by

  $$\frac{2 \pi}{T}=\frac{d H}{d I}$$

  Suppose now that the system has a parameter that is allowed to vary slowly with time. Explain briefly what is meant by the statement that the action is an adiabatic invariant. Suppose that when this parameter is fixed, $H=0$ when $I=0$. Deduce that, if $T$ decreases on an orbit with any $I$ when the parameter is slowly varied, then $H$ increases.

  comment

• 4.I.9B

  #Classical Dynamics

  2008

  (a) Show that the principal moments of inertia for an infinitesimally thin uniform rectangular sheet of mass $M$ with sides of length $a$ and $b$ (with $b<a$ ) about its centre of mass are $I_{1}=M b^{2} / 12, I_{2}=M a^{2} / 12$ and $I_{3}=M\left(a^{2}+b^{2}\right) / 12$.

  (b) Euler's equations governing the angular velocity $\left(\omega_{1}, \omega_{2}, \omega_{3}\right)$ of the sheet as viewed in the body frame are

  $$\begin{aligned} &I_{1} \frac{d \omega_{1}}{d t}=\left(I_{2}-I_{3}\right) \omega_{2} \omega_{3} \\ &I_{2} \frac{d \omega_{2}}{d t}=\left(I_{3}-I_{1}\right) \omega_{3} \omega_{1} \end{aligned}$$

  and

  $$I_{3} \frac{d \omega_{3}}{d t}=\left(I_{1}-I_{2}\right) \omega_{1} \omega_{2} .$$

  A possible solution of these equations is such that the sheet rotates with $\omega_{1}=\omega_{3}=0$, and $\omega_{2}=\Omega=$ constant.

  By linearizing, find the equations governing small motions in the neighbourhood of this solution that have $\left(\omega_{1}, \omega_{3}\right) \neq 0$. Use these to show that there are solutions corresponding to instability such that $\omega_{1}$ and $\omega_{3}$ are both proportional to exp $(\beta \Omega t)$, with $\beta=\sqrt{\left(a^{2}-b^{2}\right) /\left(a^{2}+b^{2}\right)} .$

  comment

• 1.I.10E

  #Cosmology

  2008

  The number density of particles of mass $m$ at equilibrium in the early universe is given by the integral

  $$n=\frac{4 \pi g_{\mathrm{s}}}{h^{3}} \int_{0}^{\infty} \frac{p^{2} d p}{\exp [(E(p)-\mu) / k T] \mp 1}, \quad \begin{cases}- & \text { bosons } \\ + & \text { fermions }\end{cases}$$

  where $E(p)=c \sqrt{p^{2}+m^{2} c^{2}}, \mu$ is the chemical potential, and $g_{\mathrm{s}}$ is the spin degeneracy. Assuming that the particles remain in equilibrium when they become non-relativistic $\left(k T, \mu \ll m c^{2}\right)$, show that the number density can be expressed as

  $$n=g_{\mathrm{s}}\left(\frac{2 \pi m k T}{h^{2}}\right)^{3 / 2} e^{\left(\mu-m c^{2}\right) / k T} .$$

  [Hint: Recall that $\left.\int_{0}^{\infty} d x e^{-\sigma^{2} x^{2}}=\sqrt{\pi} /(2 \sigma), \quad(\sigma>0) .\right]$

  At around $t=100$ seconds, deuterium $D$ forms through the nuclear fusion of nonrelativistic protons $p$ and neutrons $n$ via the interaction $p+n \leftrightarrow D$. In equilibrium, what is the relationship between the chemical potentials of the three species? Show that the ratio of their number densities can be expressed as

  $$\frac{n_{D}}{n_{n} n_{p}} \approx\left(\frac{\pi m_{p} k T}{h^{2}}\right)^{-3 / 2} e^{B_{D} / k T}$$

  where the deuterium binding energy is $B_{D}=\left(m_{n}+m_{p}-m_{D}\right) c^{2}$ and you may take $g_{D}=4$. Now consider the fractional densities $X_{a}=n_{a} / n_{B}$, where $n_{B}$ is the baryon density of the universe, to re-express the ratio above in the form $X_{D} /\left(X_{n} X_{p}\right)$, which incorporates the baryon-to-photon ratio $\eta$ of the universe.

  [You may assume that the photon density is $n_{\gamma}=\left(16 \pi \zeta(3) /(h c)^{3}\right)(k T)^{3}$.]

  Why does deuterium form only at temperatures much lower than that given by $k T \approx B_{D}$ ?

  comment

• 2.I.10E

  #Cosmology

  2008

  A spherically-symmetric star obeys the pressure-support equation

  $$\frac{d P}{d r}=-\frac{G m \rho}{r^{2}}$$

  where $P(r)$ is the pressure at a distance $r$ from the centre, $\rho(r)$ is the density, and $m(r)$ is the mass within a sphere of radius $r$. Show that this implies

  $$\frac{d}{d r}\left(\frac{r^{2}}{\rho} \frac{d P}{d r}\right)=-4 \pi G r^{2} \rho$$

  Propose and justify appropriate boundary conditions for the pressure $P(r)$ at the centre of the star $(r=0)$ and at its outer edge $r=R$.

  Show that the function

  $$F(r)=P(r)+\frac{G m^{2}}{8 \pi r^{4}}$$

  is a decreasing function of $r$. Deduce that the central pressure $P_{\mathrm{c}} \equiv P(0)$ satisfies

  $$P_{\mathrm{c}}>\frac{G M^{2}}{8 \pi R^{4}},$$

  where $M \equiv m(R)$ is the mass of the star.

  comment

• 1.II.15E

  #Cosmology

  2008

  (i) A homogeneous and isotropic universe has mass density $\rho(t)$ and scale factor $a(t)$. Show how the conservation of total energy (kinetic plus gravitational potential) when applied to a test particle on the edge of a spherical region in this universe can be used to obtain the Friedmann equation

  $$H^{2} \equiv\left(\frac{\dot{a}}{a}\right)^{2}=\frac{8 \pi G}{3} \rho-\frac{k c^{2}}{a^{2}},$$

  where $k$ is a constant. State clearly any assumptions you have made.

  (ii) Assume that the universe is flat $(k=0)$ and filled with two major components: pressure-free matter $\left(P_{\mathrm{M}}=0\right)$ and dark energy with equation of state $P_{\Lambda}=-\rho_{\Lambda} c^{2}$ where their mass densities today $\left(t=t_{0}\right)$ are given respectively by $\rho_{\mathrm{M} 0}$ and $\rho_{\Lambda 0}$. Assuming that each component independently satisfies the fluid conservation equation, $\dot{\rho}=-3 H\left(\rho+P / c^{2}\right)$, show that the total mass density can be expressed as

  $$\rho(t)=\frac{\rho_{\mathrm{M} 0}}{a^{3}}+\rho_{\Lambda 0}$$

  where we have set $a\left(t_{0}\right)=1$.

  Hence, solve the Friedmann equation and show that the scale factor can be expressed in the form

  $$a(t)=\alpha(\sinh \beta t)^{2 / 3},$$

  where $\alpha$ and $\beta$ are constants which you should specify in terms of $\rho_{\mathrm{M} 0}, \rho_{\Lambda 0}$ and $t_{0}$.

  [Hint: try the substitution $b=a^{3 / 2}$.]

  Show that the scale factor $a(t)$ has the expected behaviour for a matter-dominated universe at early times $(t \rightarrow 0)$ and that the universe accelerates at late times $(t \rightarrow \infty)$.

  comment

• $3 . \mathrm{I} . 10 \mathrm{E} \quad$

  #Cosmology

  2008

  The energy density $\epsilon$ and pressure $P$ of photons in the early universe is given by

  $$\epsilon=\frac{4 \sigma}{c} T^{4}, \quad P=\frac{1}{3} \epsilon,$$

  where $\sigma$ is the Stefan-Boltzmann constant. By using the first law of thermodynamics $d E=T d S-P d V+\mu d N$, deduce that the entropy differential $d S$ can be expressed in the form

  $$d S=\frac{16 \sigma}{3 c} d\left(T^{3} V\right)$$

  With the third law, show that the entropy density is given by $s=(16 \sigma / 3 c) T^{3}$.

  While particle interaction rates $\Gamma$ remain much greater than the Hubble parameter $H$, justify why entropy will be conserved during the expansion of the universe. Hence, in the early universe (radiation domination) show that the temperature $T \propto a^{-1}$ where $a(t)$ is the scale factor of the universe, and show that the Hubble parameter $H \propto T^{2}$.

  comment

• 4.I.10E

  #Cosmology

  2008

  The Friedmann and Raychaudhuri equations are respectively

  $$\left(\frac{\dot{a}}{a}\right)^{2}=\frac{8 \pi G}{3} \rho-\frac{k c^{2}}{a^{2}} \quad \text { and } \quad \frac{\ddot{a}}{a}=-\frac{4 \pi G}{3}\left(\rho+\frac{3 P}{c^{2}}\right) \text {, }$$

  where $\rho$ is the mass density, $P$ is the pressure, $k$ is the curvature and $\dot{a} \equiv d a / d t$ with $t$ the cosmic time. Using conformal time $\tau$ (defined by $d \tau=d t / a$ ) and the equation of state $P=w \rho c^{2}$, show that these can be rewritten as

  $$\frac{k c^{2}}{\mathcal{H}^{2}}=\Omega-1 \quad \text { and } \quad 2 \frac{d \mathcal{H}}{d \tau}=-(3 w+1)\left(\mathcal{H}^{2}+k c^{2}\right)$$

  where $\mathcal{H}=a^{-1} d a / d \tau$ and the relative density is $\Omega \equiv \rho / \rho_{\text {crit }}=8 \pi G \rho a^{2} /\left(3 \mathcal{H}^{2}\right)$.

  Use these relations to derive the following evolution equation for $\Omega$

  $$\frac{d \Omega}{d \tau}=(3 w+1) \mathcal{H} \Omega(\Omega-1)$$

  For both $w=0$ and $w=-1$, plot the qualitative evolution of $\Omega$ as a function of $\tau$ in an expanding universe $\mathcal{H}>0$ (i.e. include curves initially with $\Omega>1$ and $\Omega<1$ ).

  Hence, or otherwise, briefly describe the flatness problem of the standard cosmology and how it can be solved by inflation.

  comment

• $3 . \mathrm{II} . 15 \mathrm{E} \quad$

  #Cosmology

  2008

  Small density perturbations $\delta_{\mathbf{k}}(t)$ in pressureless matter inside the cosmological horizon obey the following Fourier evolution equation

  $$\ddot{\delta}_{\mathbf{k}}+2 \frac{\dot{a}}{a} \dot{\delta}_{\mathbf{k}}-4 \pi G \bar{\rho}_{\mathrm{c}} \delta_{\mathbf{k}}=0$$

  where $\bar{\rho}_{\mathrm{c}}$ is the average background density of the pressureless gravitating matter and $\mathbf{k}$ is the comoving wavevector.

  (i) Seek power law solutions $\delta_{\mathbf{k}} \propto t^{\beta}(\beta$ constant) during the matter-dominated epoch $\left(t_{\mathrm{eq}}<t<t_{0}\right)$ to find the approximate solution

  $$\delta_{\mathbf{k}}(t)=A(\mathbf{k})\left(\frac{t}{t_{\mathrm{eq}}}\right)^{2 / 3}+B(\mathbf{k})\left(\frac{t}{t_{\mathrm{eq}}}\right)^{-1}, \quad t \gg t_{\mathrm{eq}}$$

  where $A, B$ are functions of $\mathbf{k}$ only and $t_{\mathrm{eq}}$ is the time of equal matter-radiation.

  By considering the behaviour of the scalefactor $a$ and the relative density $\bar{\rho}_{\mathrm{c}} / \bar{\rho}_{\text {total }}$, show that early in the radiation era $\left(t \ll t_{\mathrm{eq}}\right)$ there is effectively no significant perturbation growth in $\delta_{\mathbf{k}}$ on sub-horizon scales.

  (ii) For a given wavenumber $k=|\mathbf{k}|$, show that the time $t_{\mathrm{H}}$ at which this mode crosses inside the horizon, i.e., $c t_{\mathrm{H}} \approx 2 \pi a\left(t_{\mathrm{H}}\right) / k$, is given by

  $$\frac{t_{\mathrm{H}}}{t_{0}} \approx \begin{cases}\left(\frac{k_{0}}{k}\right)^{3}, & t_{\mathrm{H}} \gg t_{\mathrm{eq}} \\ \left(1+z_{\mathrm{eq}}\right)^{-1 / 2}\left(\frac{k_{0}}{k}\right)^{2}, & t_{\mathrm{H}} \ll t_{\mathrm{eq}}\end{cases}$$

  where $k_{0} \equiv 2 \pi /\left(c t_{0}\right)$, and the equal matter-radiation redshift is given by $1+z_{\mathrm{eq}}=$ $\left(t_{0} / t_{\mathrm{eq}}\right)^{2 / 3}$.

  Assume that primordial perturbations from inflation are scale-invariant with a constant amplitude as they cross the Hubble radius given by $\left\langle\left|\delta_{\mathbf{k}}\left(t_{\mathrm{H}}\right)\right|^{2}\right\rangle \approx V^{-1} A / k^{3}$, where $A$ is a constant and $V$ is a large volume. Use the results of (i) to project these perturbations forward to $t_{0}$, and show that the power spectrum for perturbations today will be given approximately by

  $$P(k) \equiv V\left\langle\left|\delta_{\mathbf{k}}\left(t_{0}\right)\right|^{2}\right\rangle \approx \frac{A}{k_{0}^{4}} \times \begin{cases}k, & k<k_{\mathrm{eq}} \\ k_{\mathrm{eq}}\left(\frac{k_{\mathrm{eq}}}{k}\right)^{3}, & k>k_{\mathrm{eq}}\end{cases}$$

  comment

• 1.II.16G

  #Logic and Set Theory

  2008

  What is a well-ordered set? Show that given any two well-ordered sets there is a unique order isomorphism between one and an initial segment of the other.

  Show that for any ordinal $\alpha$ and for any non-zero ordinal $\beta$ there are unique ordinals $\gamma$ and $\delta$ with $\alpha=\beta \cdot \gamma+\delta$ and $\delta<\beta$.

  Show that a non-zero ordinal $\lambda$ is a limit ordinal if and only if $\lambda=\omega \cdot \gamma$ for some non-zero ordinal $\gamma$.

  [You may assume standard properties of ordinal addition, multiplication and subtraction.]

  comment

• 2.II.16G

  #Logic and Set Theory

  2008

  (i) State the Completeness Theorem and the Compactness Theorem for the predicate calculus.

  (ii) Show that if a theory has arbitrarily large finite models then it has an infinite model. Deduce that there is no first order theory whose models are just the finite fields of characteristic 2 . Show that the theory of infinite fields of characteristic 2 does not have a finite axiomatisation.

  (iii) Let $\mathcal{T}$ be the collection of closed terms in some first order language $\mathcal{L}$. Suppose that $\exists x . \phi(x)$ is a provable sentence of $\mathcal{L}$ with $\phi$ quantifier-free. Show that the set of sentences $\{\neg \phi(t): t \in \mathcal{T}\}$ is inconsistent.

  [Hint: consider the minimal substructure of a model.]

  Deduce that there are $t_{1}, t_{2}, \ldots, t_{n}$ in $\mathcal{T}$ such that $\phi\left(t_{1}\right) \vee \phi\left(t_{2}\right) \vee \cdots \vee \phi\left(t_{n}\right)$ is provable.

  comment

• 3.II.16G

  #Logic and Set Theory

  2008

  What is a transitive set? Show that if $x$ is transitive then so are the union $\bigcup x$ and the power set $P x$ of $x$. If $\bigcup x$ is transitive, is $x$ transitive? If $P x$ is transitive, is $x$ transitive? Justify your answers.

  What is the transitive closure of a set? Show that any set $x$ has a transitive closure $T C(x)$.

  Suppose that $x$ has rank $\alpha$. What is the rank of $P x$ ? What is the rank of $T C(x)$ ?

  [You may use standard properties of rank.]

  comment

• 4.II.16G

  #Logic and Set Theory

  2008

  Prove Hartog's Lemma that for any set $x$ there is an ordinal $\alpha$ which cannot be mapped injectively into $x$.

  Now assume the Axiom of Choice. Prove Zorn's Lemma and the Well-ordering Principle.

  [If you appeal to a fixed point theorem then you should state it clearly.]

  comment

• 1.II .17F

  #Graph Theory

  2008

  State a result of Euler concerning the number of vertices, edges and faces of a connected plane graph. Deduce that if $G$ is a planar graph then $\delta(G) \leqslant 5$. Show that if $G$ is a planar graph then $\chi(G) \leqslant 5$.

  Are the following statements true or false? Justify your answers.

  [You may quote standard facts about planar and non-planar graphs, provided that they are clearly stated.]

  (i) If $G$ is a graph with $\chi(G) \leqslant 4$ then $G$ is planar.

  (ii) If $G$ is a connected graph with average degree at most $2.01$ then $G$ is planar.

  (iii) If $G$ is a connected graph with average degree at most 2 then $G$ is planar.

  comment

• 2.II.17F

  #Graph Theory

  2008

  Prove that every graph $G$ on $n \geqslant 3$ vertices with minimum degree $\delta(G) \geqslant \frac{n}{2}$ is Hamiltonian. For each $n \geqslant 3$, give an example to show that this result does not remain true if we weaken the condition to $\delta(G) \geqslant \frac{n}{2}-1$ (for $n$ even) or $\delta(G) \geqslant \frac{n-1}{2}$ (for $n$ odd).

  For any graph $G$, let $G_{k}$ denote the graph formed by adding $k$ new vertices to $G$, all joined to each other and to all vertices of $G$. By considering $G_{1}$, show that if $G$ is a graph on $n \geqslant 3$ vertices with $\delta(G) \geqslant \frac{n-1}{2}$ then $G$ has a Hamilton path (a path passing through all the vertices of $G$ ).

  For each positive integer $k$, exhibit a connected graph $G$ such that $G_{k}$ is not Hamiltonian. Is this still possible if we replace 'connected' with '2-connected'?

  comment

• 3.II $. 17 \mathrm{~F} \quad$

  #Graph Theory

  2008

  Define the chromatic polynomial $p_{G}(t)$ of a graph $G$. Show that if $G$ has $n$ vertices and $m$ edges then

  $$p_{G}(t)=a_{n} t^{n}-a_{n-1} t^{n-1}+a_{n-2} t^{n-2}-\ldots+(-1)^{n} a_{0}$$

  where $a_{n}=1$ and $a_{n-1}=m$ and $a_{i} \geqslant 0$ for all $0 \leqslant i \leqslant n$. [You may assume the deletion-contraction relation, provided it is clearly stated.]

  Show that if $G$ is a tree on $n$ vertices then $p_{G}(t)=t(t-1)^{n-1}$. Does the converse hold?

  [Hint: if $G$ is disconnected, how is the chromatic polynomial of $G$ related to the chromatic polynomials of its components?]

  Show that if $G$ is a graph on $n$ vertices with the same chromatic polynomial as $T_{r}(n)$ (the Turán graph on $n$ vertices with $r$ vertex classes) then $G$ must be isomorphic to $T_{r}(n)$.

  comment

• 4.II.17F

  #Graph Theory

  2008

  For $s \geqslant 2$, let $R(s)$ be the least integer $n$ such that for every 2 -colouring of the edges of $K_{n}$ there is a monochromatic $K_{s}$. Prove that $R(s)$ exists.

  For any $k \geqslant 1$ and $s_{1}, \ldots, s_{k} \geqslant 2$, define the Ramsey number $R_{k}\left(s_{1}, \ldots, s_{k}\right)$, and prove that it exists.

  Show that, whenever the positive integers are partitioned into finitely many classes, some class contains $x, y, z$ with $x+y=z$.

  [Hint: given a finite colouring of the positive integers, induce a colouring of the pairs of positive integers by giving the pair $i j(i<j)$ the colour of $j-i$.]

  comment

• 1.II.18H

  #Galois Theory

  2008

  Find the Galois group of the polynomial $f(x)=x^{4}+x^{3}+1$ over (i) the finite field $\mathbf{F}_{2}$, (ii) the finite field $\mathbf{F}_{3}$, (iii) the finite field $\mathbf{F}_{4}$, (iv) the field $\mathbf{Q}$ of rational numbers.

  [Results from the course which you use should be stated precisely.]

  comment

• 2.II.18H

  #Galois Theory

  2008

  (i) Let $K$ be a field, $\theta \in K$, and $n>0$ not divisible by the characteristic. Suppose that $K$ contains a primitive $n$th root of unity. Show that the splitting field of $x^{n}-\theta$ has cyclic Galois group.

  (ii) Let $L / K$ be a Galois extension of fields and $\zeta_{n}$ denote a primitive $n$th root of unity in some extension of $L$, where $n$ is not divisible by the characteristic. Show that $\operatorname{Aut}\left(L\left(\zeta_{n}\right) / K\left(\zeta_{n}\right)\right)$ is a subgroup of $\operatorname{Aut}(L / K)$.

  (iii) Determine the minimal polynomial of a primitive 6 th root of unity $\zeta_{6}$ over $\mathbf{Q}$.

  Compute the Galois group of $x^{6}+3 \in \mathbf{Q}[x]$.

  comment

• 3.II.18H

  #Galois Theory

  2008

  Let $L / K$ be a field extension.

  (a) State what it means for $\alpha \in L$ to be algebraic over $K$, and define its degree $\operatorname{deg}_{K}(\alpha)$. Show that if $\operatorname{deg}_{K}(\alpha)$ is odd, then $K(\alpha)=K\left(\alpha^{2}\right)$.

  [You may assume any standard results.]

  Show directly from the definitions that if $\alpha, \beta \in L$ are algebraic over $K$, then so too is $\alpha+\beta$.

  (b) State what it means for $\alpha \in L$ to be separable over $K$, and for the extension $L / K$ to be separable.

  Give an example of an inseparable extension $L / K$.

  Show that an extension $L / K$ is separable if $L$ is a finite field.

  comment

• 4.II.18H

  #Galois Theory

  2008

  Let $L=\mathbf{C}(z)$ be the function field in one variable, $n>0$ an integer, and $\zeta_{n}=e^{2 \pi i / n}$.

  Define $\sigma, \tau: L \rightarrow L$ by the formulae

  $$(\sigma f)(z)=f\left(\zeta_{n} z\right), \quad(\tau f)(z)=f(1 / z),$$

  and let $G=\langle\sigma, \tau\rangle$ be the group generated by $\sigma$ and $\tau$.

  (i) Find $w \in \mathbf{C}(z)$ such that $L^{G}=\mathbf{C}(w)$.

  [You must justify your answer, stating clearly any theorems you use.]

  (ii) Suppose $n$ is an odd prime. Determine the subgroups of $G$ and the corresponding intermediate subfields $M$, with $\mathbf{C}(w) \subseteq M \subseteq L$.

  State which intermediate subfields $M$ are Galois extensions of $\mathbf{C}(w)$, and for these extensions determine the Galois group.

  comment

• 1.II.19G

  #Representation Theory

  2008

  For a complex representation $V$ of a finite group $G$, define the action of $G$ on the dual representation $V^{*}$. If $\alpha$ denotes the character of $V$, compute the character $\beta$ of $V^{*}$.

  [Your formula should express $\beta(g)$ just in terms of the character $\alpha$.]

  Using your formula, how can you tell from the character whether a given representation is self-dual, that is, isomorphic to the dual representation?

  Let $V$ be an irreducible representation of $G$. Show that the trivial representation occurs as a summand of $V \otimes V$ with multiplicity either 0 or 1 . Show that it occurs once if and only if $V$ is self-dual.

  For a self-dual irreducible representation $V$, show that $V$ either has a nondegenerate $G$-invariant symmetric bilinear form or a nondegenerate $G$-invariant alternating bilinear form, but not both.

  If $V$ is an irreducible self-dual representation of odd dimension $n$, show that the corresponding homomorphism $G \rightarrow G L(n, \mathbf{C})$ is conjugate to a homomorphism into the orthogonal group $O(n, \mathbf{C})$. Here $O(n, \mathbf{C})$ means the subgroup of $G L(n, \mathbf{C})$ that preserves a nondegenerate symmetric bilinear form on $\mathbf{C}^{n}$.

  comment

• 2.II.19G

  #Representation Theory

  2008

  A finite group $G$ of order 360 has conjugacy classes $C_{1}=\{1\}, C_{2}, \ldots, C_{7}$ of sizes $1,45,40,40,90,72,72$. The values of four of its irreducible characters are given in the following table.

  $$\begin{array}{ccccccc} C_{1} & C_{2} & C_{3} & C_{4} & C_{5} & C_{6} & C_{7} \\ 5 & 1 & 2 & -1 & -1 & 0 & 0 \\ 8 & 0 & -1 & -1 & 0 & (1-\sqrt{5}) / 2 & (1+\sqrt{5}) / 2 \\ 8 & 0 & -1 & -1 & 0 & (1+\sqrt{5}) / 2 & (1-\sqrt{5}) / 2 \\ 10 & -2 & 1 & 1 & 0 & 0 & 0 \end{array}$$

  Complete the character table.

  [Hint: it will not suffice just to use orthogonality of characters.]

  Deduce that the group $G$ is simple.

  comment

• 3.II.19G

  #Representation Theory

  2008

  Let $V_{2}$ denote the irreducible representation $\operatorname{Sym}^{2}\left(\mathbb{C}^{2}\right)$ of $S U(2)$; thus $V_{2}$ has dimension 3. Compute the character of the representation $\operatorname{Sym}^{n}\left(V_{2}\right)$ of $S U(2)$ for any $n \geqslant 0$. Compute the dimension of the invariants $\operatorname{Sym}^{n}\left(V_{2}\right)^{S U(2)}$, meaning the subspace of $\operatorname{Sym}^{n}\left(V_{2}\right)$ where $S U(2)$ acts trivially.

  Hence, or otherwise, show that the ring of complex polynomials in three variables $x, y, z$ which are invariant under the action of $S O(3)$ is a polynomial ring. Find a generator for this polynomial ring.

  comment

• 4.II.19G

  #Representation Theory

  2008

  (a) Let $A$ be a normal subgroup of a finite group $G$, and let $V$ be an irreducible representation of $G$. Show that either $V$ restricted to $A$ is isotypic (a sum of copies of one irreducible representation of $A)$, or else $V$ is induced from an irreducible representation of some proper subgroup of $G$.

  (b) Using (a), show that every (complex) irreducible representation of a $p$-group is induced from a 1-dimensional representation of some subgroup.

  [You may assume that a nonabelian $p$-group $G$ has an abelian normal subgroup $A$ which is not contained in the centre of $G$.]

  comment

• 1.II.20G

  #Number Fields

  2008

  (a) Define the ideal class group of an algebraic number field $K$. State a result involving the discriminant of $K$ that implies that the ideal class group is finite.

  (b) Put $K=\mathbb{Q}(\omega)$, where $\omega=\frac{1}{2}(1+\sqrt{-23})$, and let $\mathcal{O}_{K}$ be the ring of integers of $K$. Show that $\mathcal{O}_{K}=\mathbb{Z}+\mathbb{Z} \omega$. Factorise the ideals [2] and [3] in $\mathcal{O}_{K}$ into prime ideals. Verify that the equation of ideals

  $$[2, \omega][3, \omega]=[\omega]$$

  holds. Hence prove that $K$ has class number 3 .

  comment

• 2.II.20G

  #Number Fields

  2008

  (a) Factorise the ideals [2], [3] and [5] in the ring of integers $\mathcal{O}_{K}$ of the field $K=\mathbb{Q}(\sqrt{30})$. Using Minkowski's bound

  $$\frac{n !}{n^{n}}\left(\frac{4}{\pi}\right)^{s} \sqrt{\left|d_{K}\right|},$$

  determine the ideal class group of $K$.

  [Hint: it might be helpful to notice that $\frac{3}{2}=N_{K / \mathbb{Q}}(\alpha)$ for some $\left.\alpha \in K .\right]$

  (b) Find the fundamental unit of $K$ and determine all solutions of the equations $x^{2}-30 y^{2}=\pm 5$ in integers $x, y \in \mathbb{Z}$. Prove that there are in fact no solutions of $x^{2}-30 y^{2}=5$ in integers $x, y \in \mathbb{Z}$.

  comment

• 4.II.20G

  #Number Fields

  2008

  (a) Explain what is meant by an integral basis of an algebraic number field. Specify such a basis for the quadratic field $k=\mathbb{Q}(\sqrt{2})$.

  (b) Let $K=\mathbb{Q}(\alpha)$ with $\alpha=\sqrt[4]{2}$, a fourth root of 2 . Write an element $\theta$ of $K$ as

  $$\theta=a+b \alpha+c \alpha^{2}+d \alpha^{3}$$

  with $a, b, c, d \in \mathbb{Q}$. By computing the relative traces $T_{K / k}(\theta)$ and $T_{K / k}(\alpha \theta)$, show that if $\theta$ is an algebraic integer of $K$, then $2 a, 2 b, 2 c$ and $4 d$ are rational integers. By further computing the relative norm $N_{K / k}(\theta)$, show that

  $$a^{2}+2 c^{2}-4 b d \text { and } 2 a c-b^{2}-2 d^{2}$$

  are rational integers. Deduce that $1, \alpha, \alpha^{2}, \alpha^{3}$ is an integral basis of $K$.

  comment

• 1.II.21F

  #Algebraic Topology

  2008

  (i) State the van Kampen theorem.

  (ii) Calculate the fundamental group of the wedge $S^{2} \vee S^{1}$.

  (iii) Let $X=\mathbb{R}^{3} \backslash A$ where $A$ is a circle. Calculate the fundamental group of $X$.

  comment

• 2.II.21F

  #Algebraic Topology

  2008

  Prove the Borsuk-Ulam theorem in dimension 2: there is no map $f: S^{2} \rightarrow S^{1}$ such that $f(-x)=-f(x)$ for every $x \in S^{2}$. Deduce that $S^{2}$ is not homeomorphic to any subset of $\mathbb{R}^{2}$.

  comment

• 3.II.20F

  #Algebraic Topology

  2008

  Let $X$ be the quotient space obtained by identifying one pair of antipodal points on $S^{2}$. Using the Mayer-Vietoris exact sequence, calculate the homology groups and the Betti numbers of $X$.

  comment

• 4.II.21F

  #Algebraic Topology

  2008

  Let $X$ and $Y$ be topological spaces.

  (i) Show that a map $f: X \rightarrow Y$ is a homotopy equivalence if there exist maps $g, h: Y \rightarrow X$ such that $f g \simeq 1_{Y}$ and $h f \simeq 1_{X}$. More generally, show that a map $f: X \rightarrow Y$ is a homotopy equivalence if there exist maps $g, h: Y \rightarrow X$ such that $f g$ and $h f$ are homotopy equivalences.

  (ii) Suppose that $\tilde{X}$ and $\tilde{Y}$ are universal covering spaces of the path-connected, locally path-connected spaces $X$ and $Y$. Using path-lifting properties, show that if $X \simeq Y$ then $\tilde{X} \simeq \tilde{Y}$.

  comment

• 1.II.22F

  #Linear Analysis

  2008

  Suppose $p$ and $q$ are real numbers with $p^{-1}+q^{-1}=1$ and $p, q>1$. Show, quoting any results on convexity that you need, that

  $$a^{1 / p} b^{1 / q} \leqslant \frac{a}{p}+\frac{b}{q}$$

  for all real positive $a$ and $b$.

  Define the space $l^{p}$ and show that it is a complete normed vector space.

  comment

• 2.II.22F

  #Linear Analysis

  2008

  State and prove the principle of uniform boundedness.

  [You may assume the Baire category theorem.]

  Suppose that $X, Y$ and $Z$ are Banach spaces. Suppose that

  $$F: X \times Y \rightarrow Z$$

  is linear and continuous in each variable separately, that is to say that, if $y$ is fixed,

  $$F(\cdot, y): X \rightarrow Z$$

  is a continuous linear map and, if $x$ is fixed,

  $$F(x, \cdot): Y \rightarrow Z$$

  is a continuous linear map. Show that there exists an $M$ such that

  $$\|F(x, y)\|_{Z} \leqslant M\|x\|_{X}\|y\|_{Y}$$

  for all $x \in X, y \in Y$. Deduce that $F$ is continuous.

  Suppose $X, Y, Z$ and $W$ are Banach spaces. Suppose that

  $$G: X \times Y \times W \rightarrow Z$$

  is linear and continuous in each variable separately. Does it follow that $G$ is continuous? Give reasons.

  Suppose that $X, Y$ and $Z$ are Banach spaces. Suppose that

  $$H: X \times Y \rightarrow Z$$

  is continuous in each variable separately. Does it follow that $H$ is continuous? Give reasons.

  comment

• 3.II.21F

  #Linear Analysis

  2008

  State and prove the Stone-Weierstrass theorem for real-valued functions. You may assume that the function $x \mapsto|x|$ can be uniformly approximated by polynomials on any interval $[-k, k]$.

  Suppose that $0<a<b<1$. Let $\mathcal{F}$ be the set of functions which can be uniformly approximated on $[a, b]$ by polynomials with integer coefficients. By making appropriate use of the identity

  $$\frac{1}{2}=\frac{x}{1-(1-2 x)}=\sum_{n=0}^{\infty} x(1-2 x)^{n}$$

  or otherwise, show that $\mathcal{F}=\mathcal{C}([a, b])$.

  Is it true that every continuous function on $[0, b]$ can be uniformly approximated by polynomials with integer coefficients?

  comment

• 4.II.22F

  #Linear Analysis

  2008

  Let $H$ be a Hilbert space. Show that if $V$ is a closed subspace of $H$ then any $f \in H$ can be written as $f=v+w$ with $v \in V$ and $w \perp V$.

  Suppose $U: H \rightarrow H$ is unitary (that is to say $U U^{*}=U^{*} U=I$ ). Let

  $$A_{n} f=\frac{1}{n} \sum_{k=0}^{n-1} U^{k} f$$

  and consider

  $$X=\{g-U g: g \in H\}$$

  (i) Show that $U$ is an isometry and $\left\|A_{n}\right\| \leqslant 1$.

  (ii) Show that $X$ is a subspace of $H$ and $A_{n} f \rightarrow 0$ as $n \rightarrow \infty$ whenever $f \in X$.

  (iii) Let $V$ be the closure of $X$. Show that $A_{n} v \rightarrow 0$ as $n \rightarrow \infty$ whenever $v \in V$.

  (iv) Show that, if $w \perp X$, then $U w=w$. Deduce that, if $w \perp V$, then $U w=w$.

  (v) If $f \in H$ show that there is a $w \in H$ such that $A_{n} f \rightarrow w$ as $n \rightarrow \infty$.

  comment

• 1.II.23H

  #Riemann Surfaces

  2008

  Define the terms Riemann surface, holomorphic map between Riemann surfaces and biholomorphic map.

  Show, without using the notion of degree, that a non-constant holomorphic map between compact connected Riemann surfaces must be surjective.

  Let $\phi$ be a biholomorphic map of the punctured unit disc $\Delta^{*}=\{0<|z|<1\} \subset \mathbb{C}$ onto itself. Show that $\phi$ extends to a biholomorphic map of the open unit disc $\Delta$ to itself such that $\phi(0)=0$.

  Suppose that $f: R \rightarrow S$ is a continuous holomorphic map between Riemann surfaces and $f$ is holomorphic on $R \backslash\{p\}$, where $p$ is a point in $R$. Show that $f$ is then holomorphic on all of $R$.

  [The Open Mapping Theorem may be used without proof if clearly stated.]

  comment

• 2.II.23H

  #Riemann Surfaces

  2008

  Explain what is meant by a divisor $D$ on a compact connected Riemann surface $S$. Explain briefly what is meant by a canonical divisor. Define the degree of $D$ and the notion of linear equivalence between divisors. If two divisors on $S$ have the same degree must they be linearly equivalent? Give a proof or a counterexample as appropriate, stating accurately any auxiliary results that you require.

  Define $\ell(D)$ for a divisor $D$, and state the Riemann-Roch theorem. Deduce that the dimension of the space of holomorphic differentials is determined by the genus $g$ of $S$ and that the same is true for the degree of a canonical divisor. Show further that if $g=2$ then $S$ admits a non-constant meromorphic function with at most two poles (counting with multiplicities).

  [General properties of meromorphic functions and meromorphic differentials on $S$ may be used without proof if clearly stated.]

  comment

• 3.II $. 22$

  #Riemann Surfaces

  2008

  Define the degree of a non-constant holomorphic map between compact connected Riemann surfaces and state the Riemann-Hurwitz formula.

  Show that there exists a compact connected Riemann surface of any genus $g \geqslant 0$.

  [You may use without proof any foundational results about holomorphic maps and complex algebraic curves from the course, provided that these are accurately stated. You may also assume that if $h(s)$ is a non-constant complex polynomial without repeated roots then the algebraic curve $C=\left\{(s, t) \in \mathbb{C}^{2}: t^{2}-h(s)=0\right\}$ is path connected.]

  comment

• 4.II.23H

  #Riemann Surfaces

  2008

  Let $\Lambda$ be a lattice in $\mathbb{C}$ generated by 1 and $\tau$, where $\operatorname{Im} \tau>0$. The Weierstrass function $\wp$ is the unique meromorphic $\Lambda$-periodic function on $\mathbb{C}$, such that the only poles of $\wp$ are at points of $\Lambda$ and $\wp(z)-1 / z^{2} \rightarrow 0$ as $z \rightarrow 0$.

  Show that $\wp$ is an even function. Find all the zeroes of $\wp^{\prime}$.

  Suppose that $a$ is a complex number such that $2 a \notin \Lambda$. Show that the function

  $$h(z)=(\wp(z-a)-\wp(z+a))(\wp(z)-\wp(a))^{2}-\wp^{\prime}(z) \wp^{\prime}(a)$$

  has no poles in $\mathbb{C} \backslash \Lambda$. By considering the Laurent expansion of $h$ at $z=0$, or otherwise, deduce that $h$ is constant.

  [General properties of meromorphic doubly-periodic functions may be used without proof if accurately stated.]

  comment

• 1.II.24H

  #Differential Geometry

  2008

  Let $n \geqslant 1$ be an integer, and let $M(n)$ denote the set of $n \times n$ real-valued matrices. We make $M(n)$ into an $n^{2}$-dimensional smooth manifold via the obvious identification $M(n)=\mathbb{R}^{n^{2}}$.

  (a) Let $G L(n)$ denote the subset

  $$G L(n)=\left\{A \in M(n): A^{-1} \text { exists }\right\}$$

  Show that $G L(n)$ is a submanifold of $M(n)$. What is $\operatorname{dim} G L(n)$ ?

  (b) Now let $S L(n) \subset G L(n)$ denote the subset

  $$S L(n)=\{A \in G L(n): \operatorname{det} A=1\}$$

  Show that for $A \in G L(n)$,

  $$(d \text { det })_{A} B=\operatorname{tr}\left(A^{-1} B\right) \operatorname{det} A .$$

  Show that $S L(n)$ is a submanifold of $G L(n)$. What is the dimension of $S L(n) ?$

  (c) Now consider the set $X=M(n) \backslash G L(n)$. For what values of $n \geqslant 1$ is $X$ a submanifold of $M(n)$ ?

  comment

• 2.II $. 24 \mathrm{H}$

  #Differential Geometry

  2008

  (a) For a regular curve in $\mathbb{R}^{3}$, define curvature and torsion and state the Frenet formulas.

  (b) State and prove the isoperimetric inequality for domains $\Omega \subset \mathbb{R}^{2}$ with compact closure and $C^{1}$ boundary $\partial \Omega$.

  [You may assume Wirtinger's inequality.]

  (c) Let $\gamma: I \rightarrow \mathbb{R}^{2}$ be a closed plane regular curve such that $\gamma$ is contained in a disc of radius $r$. Show that there exists $s \in I$ such that $|k(s)| \geqslant r^{-1}$, where $k(s)$ denotes the signed curvature. Show by explicit example that the assumption of closedness is necessary.

  comment

• 3.II.23H

  #Differential Geometry

  2008

  Let $S \subset \mathbb{R}^{3}$ be a surface.

  (a) Define the Gauss Map, principal curvatures $k_{i}$, Gaussian curvature $K$ and mean curvature $H$. State the Theorema Egregium.

  (b) Define what is meant for $S$ to be minimal. Prove that if $S$ is minimal, then $K \leqslant 0$. Give an example of a minimal surface whose Gaussian curvature is not identically 0 , justifying your answer.

  (c) Does there exist a compact minimal surface $S \subset \mathbb{R}^{3}$ ? Justify your answer.

  comment

• 4.II $. 24 \mathrm{H} \quad$

  #Differential Geometry

  2008

  Let $S \subset \mathbb{R}^{3}$ be a surface.

  (a) In the case where $S$ is compact, define the Euler characteristic $\chi$ and genus $g$ of $S$.

  (b) Define the notion of geodesic curvature $k_{g}$ for regular curves $\gamma: I \rightarrow S$. When is $k_{g}=0$ ? State the Global Gauss-Bonnet Theorem (including boundary term).

  (c) Let $S=\mathbb{S}^{2}$ (the standard 2-sphere), and suppose $\gamma \subset \mathbb{S}^{2}$ is a simple closed regular curve such that $\mathbb{S}^{2} \backslash \gamma$ is the union of two distinct connected components with equal areas. Can $\gamma$ have everywhere strictly positive or everywhere strictly negative geodesic curvature?

  (d) Prove or disprove the following statement: if $S$ is connected with Gaussian curvature $K=1$ identically, then $S$ is a subset of a sphere of radius 1 .

  comment

• 1.II $. 25 \mathrm{~J} \quad$

  #Probability and Measure

  2008

  State the Dominated Convergence Theorem.

  Hence or otherwise prove Kronecker's Lemma: if $\left(a_{j}\right)$ is a sequence of non-negative reals such that

  $$\sum_{j=1}^{\infty} \frac{a_{j}}{j}<\infty$$

  then

  $$n^{-1} \sum_{j=1}^{n} a_{j} \rightarrow 0 \quad(n \rightarrow \infty)$$

  Let $\xi_{1}, \xi_{2}, \ldots$ be independent $N(0,1)$ random variables and set $S_{n}=\xi_{1}+\ldots+\xi_{n}$. Let $\mathcal{F}_{0}$ be the collection of all finite unions of intervals of the form $(a, b)$, where $a$ and $b$ are rational, together with the whole line $\mathbb{R}$. Prove that with probability 1 the limit

  $$m(B) \equiv \lim _{n \rightarrow \infty} \frac{1}{n} \sum_{j=1}^{n} I_{B}\left(S_{j}\right)$$

  exists for all $B \in \mathcal{F}_{0}$, and identify it. Is it possible to extend $m$ defined on $\mathcal{F}_{0}$ to a measure on the Borel $\sigma$-algebra of $\mathbb{R}$ ? Justify your answer.

  comment

• 2.II $. 25 J$

  #Probability and Measure

  2008

  Explain what is meant by a simple function on a measurable space $(S, \mathcal{S})$.

  Let $(S, \mathcal{S}, \mu)$ be a finite measure space and let $f: S \rightarrow \mathbb{R}$ be a non-negative Borel measurable function. State the definition of the integral of $f$ with respect to $\mu$.

  Prove that, for any sequence of simple functions $\left(g_{n}\right)$ such that $0 \leqslant g_{n}(x) \uparrow f(x)$ for all $x \in S$, we have

  $$\int g_{n} d \mu \uparrow \int f d \mu .$$

  State and prove the Monotone Convergence Theorem for finite measure spaces.

  comment

• $3 . \mathrm{II} . 24 \mathrm{~J} \quad$

  #Probability and Measure

  2008

  (i) What does it mean to say that a sequence of random variables $\left(X_{n}\right)$ converges in probability to $X$ ? What does it mean to say that the sequence $\left(X_{n}\right)$ converges in distribution to $X$ ? Prove that if $X_{n} \rightarrow X$ in probability, then $X_{n} \rightarrow X$ in distribution.

  (ii) What does it mean to say that a sequence of random variables $\left(X_{n}\right)$ is uniformly integrable? Show that, if $\left(X_{n}\right)$ is uniformly integrable and $X_{n} \rightarrow X$ in distribution, then $\mathbb{E}\left(X_{n}\right) \rightarrow \mathbb{E}(X)$.

  [Standard results from the course may be used without proof if clearly stated.]

  comment

• 2.II.26I

  #Applied Probability

  2008

  Consider a continuous-time Markov chain $\left(X_{t}\right)$ given by the diagram below.

  

  We will assume that the rates $\alpha, \beta, \lambda$ and $\mu$ are all positive.

  (a) Is the chain $\left(X_{t}\right)$ irreducible?

  (b) Write down the standard equations for the hitting probabilities

  $$h_{\mathrm{C} i}=\mathbb{P}_{\mathrm{C} i}(\text { hit W0) }, \quad i \geqslant 0,$$

  and

  $$h_{\mathrm{W} i}=\mathbb{P}_{\mathrm{W} i}(\text { hit W0) }, \quad i \geqslant 1 .$$

  Explain how to identify the probabilities $h_{\mathrm{C} i}$ and $h_{\mathrm{W} i}$ among the solutions to these equations.

  [You should state the theorem you use but its proof is not required.]

  (c) Set $h^{(i)}=\left(\begin{array}{c}h_{\mathrm{C} i} \\ h_{\mathrm{W} i}\end{array}\right)$ and find a matrix $A$ such that

  $$h^{(i)}=A h^{(i-1)}, \quad i=1,2, \ldots$$

  The recursion matrix $A$ has a 'standard' eigenvalue and a 'standard' eigenvector that do not depend on the transition rates: what are they and why are they always present?

  (d) Calculate the second eigenvalue $\vartheta$ of the matrix $A$, and the corresponding eigenvector, in the form $\left(\begin{array}{l}b \\ 1\end{array}\right)$, where $b>0$.

  (e) Suppose the second eigenvalue $\vartheta$ is $\geqslant 1$. What can you say about $h_{\mathrm{C} i}$ and $h_{\mathrm{W} i}$ ? Is the chain $\left(X_{t}\right)$ transient or recurrent? Justify your answer.

  (f) Now assume the opposite: the second eigenvalue $\vartheta$ is $<1$. Check that in this case $b<1$. Is the chain transient or recurrent under this condition?

  (g) Finally, specify, by means of inequalities between the parameters $\alpha, \beta, \lambda$ and $\mu$, when the chain $\left(X_{t}\right)$ is recurrent and when it is transient.

  comment

• 4.II $. 25 \mathrm{~J}$

  #Probability and Measure

  2008

  (i) A stepfunction is any function $s$ on $\mathbb{R}$ which can be written in the form

  $$s(x)=\sum_{k=1}^{n} c_{k} I_{\left(a_{k}, b_{k}\right]}(x), \quad x \in \mathbb{R},$$

  where $a_{k}, b_{k}, c_{k}$ are real numbers, with $a_{k}<b_{k}$ for all $k$. Show that the set of all stepfunctions is dense in $L^{1}(\mathbb{R}, \mathcal{B}, \mu)$. Here, $\mathcal{B}$ denotes the Borel $\sigma$-algebra, and $\mu$ denotes Lebesgue measure.

  [You may use without proof the fact that, for any Borel set $B$ of finite measure, and any $\varepsilon>0$, there exists a finite union of intervals $A$ such that $\mu(A \triangle B)<\varepsilon$.]

  (ii) Show that the Fourier transform

  $$\hat{s}(t)=\int_{\mathbb{R}} s(x) e^{i t x} d x$$

  of a stepfunction has the property that $\hat{s}(t) \rightarrow 0$ as $|t| \rightarrow \infty$.

  (iii) Deduce that the Fourier transform of any integrable function has the same property.

  comment

• 1.II.26I

  #Applied Probability

  2008

  Let $\left(X_{t}, t \geqslant 0\right)$ be an irreducible continuous-time Markov chain with initial probability distribution $\pi$ and Q-matrix $Q$ (for short: a $(\pi, Q)$ CTMC), on a finite state space $I$.

  (i) Define the terms reversible CTMC and detailed balance equations (DBEs) and explain, without proof, the relation between them.

  (ii) Prove that any solution of the DBEs is an equilibrium distribution (ED) for $\left(X_{t}\right)$.

  Let $\left(Y_{n}, n=0,1, \ldots\right)$ be an irreducible discrete-time Markov chain with initial probability distribution $\widehat{\pi}$ and transition probability matrix $\widehat{P}$ (for short: a $(\widehat{\pi}, \widehat{P})$ DTMC), on the state space $I$.

  (iii) Repeat the two definitions from (i) in the context of the DTMC $\left(Y_{n}\right)$. State also in this context the relation between them, and prove a statement analogous to (ii).

  (iv) What does it mean to say that $\left(Y_{n}\right)$ is the jump chain for $\left(X_{t}\right)$ ? State and prove a relation between the ED $\pi$ for the $\operatorname{CTMC}\left(X_{t}\right)$ and the ED $\widehat{\pi}$ for its jump chain $\left(Y_{n}\right)$.

  (v) Prove that $\left(X_{t}\right)$ is reversible (in equilibrium) if and only if its jump chain $\left(Y_{n}\right)$ is reversible (in equilibrium).

  (vi) Consider now a continuous time random walk on a graph. More precisely, consider a CTMC $\left(X_{t}\right)$ on an undirected graph, where some pairs of states $i, j \in I$ are joined by one or more non-oriented 'links' $e_{i j}(1), \ldots, e_{i j}\left(m_{i j}\right)$. Here $m_{i j}=m_{j i}$ is the number of links between $i$ and $j$. Assume that the jump rate $q_{i j}$ is proportional to $m_{i j}$. Can the chain $\left(X_{t}\right)$ be reversible? Identify the corresponding jump chain $\left(Y_{n}\right)$ (which determines a discrete-time random walk on the graph) and comment on its reversibility.

  comment

• 3.II.25I

  #Applied Probability

  2008

  Let $\left(X_{t}\right)$ be an irreducible continuous-time Markov chain with countably many states. What does it mean to say the chain is (i) positive recurrent, (ii) null recurrent? Consider the chain $\left(X_{t}\right)$ with the arrow diagram below.

  

  In this question we analyse the existence of equilibrium probabilities $\pi_{i \mathrm{C}}$ and $\pi_{i \mathrm{~W}}$ of the chain $\left(X_{t}\right)$ being in state $i \mathrm{C}$ or $i \mathrm{~W}, i=0,1, \ldots$, and the impact of this fact on positive and null recurrence of the chain.

  (a) Write down the invariance equations $\pi Q=0$ and check that they have the form

  $$\begin{aligned} \pi_{0 C} &=\frac{\beta}{\lambda+\alpha} \pi_{0 \mathrm{~W}}, \\ \left(\pi_{1 \mathrm{C}}, \pi_{1 \mathrm{~W}}\right) &=\frac{\beta \pi_{0 \mathrm{~W}}}{\lambda+\alpha}\left(\frac{\lambda(\mu+\beta)}{\mu(\lambda+\alpha)}, \frac{\lambda}{\mu}\right) \\ \left(\pi_{(i+1) \mathrm{C}}, \pi_{(i+1) \mathrm{W}}\right) &=\left(\pi_{i \mathrm{C}}, \pi_{i \mathrm{~W}}\right) B, \quad i=1,2, \ldots, \end{aligned}$$

  where $B$ is a $2 \times 2$ recursion matrix:

  $$B=\left(\begin{array}{cc} \frac{\lambda \mu-\beta \alpha}{\mu(\lambda+\alpha)} & -\frac{\alpha}{\mu} \\ \frac{\beta(\beta+\mu)}{\mu(\lambda+\alpha)} & \frac{\beta+\mu}{\mu} \end{array}\right)$$

  (b) Verify that the row vector $\left(\pi_{1 \mathrm{C}}, \pi_{1 \mathrm{~W}}\right)$ is an eigenvector of $B$ with the eigenvalue $\theta$ where

  $$\theta=\frac{\lambda(\mu+\beta)}{\mu(\lambda+\alpha)}$$

  Hence, specify the form of equilibrium probabilities $\pi_{i \mathrm{C}}$ and $\pi_{i \mathrm{~W}}$ and conclude that the chain $\left(X_{t}\right)$ is positive recurrent if and only if $\mu \alpha>\lambda \beta$.

  comment

• 4.II.26I

  #Applied Probability

  2008

  On a hot summer night, opening my window brings some relief. This attracts hordes of mosquitoes who manage to negotiate a dense window net. But, luckily, I have a mosquito trapping device in my room.

  Assume the mosquitoes arrive in a Poisson process at rate $\lambda$; afterwards they wander around for independent and identically distributed random times with a finite mean $\mathbb{E} S$, where $S$ denotes the random wandering time of a mosquito, and finally are trapped by the device.

  (a) Identify a mathematical model, which was introduced in the course, for the number of mosquitoes present in the room at times $t \geqslant 0$.

  (b) Calculate the distribution of $Q(t)$ in terms of $\lambda$ and the tail probabilities $\mathbb{P}(S>x)$ of the wandering time $S$, where $Q(t)$ is the number of mosquitoes in the room at time $t>0$ (assuming that at the initial time, $Q(0)=0$ ).

  (c) Write down the distribution for $Q^{\mathrm{E}}$, the number of mosquitoes in the room in equilibrium, in terms of $\lambda$ and $\mathbb{E} S$.

  (d) Instead of waiting for the number of mosquitoes to reach equilibrium, I close the window at time $t>0$. For $v \geqslant 0$ let $X(t+v)$ be the number of mosquitoes left at time $t+v$, i.e. $v$ time units after closing the window. Calculate the distribution of $X(t+v)$.

  (e) Let $V(t)$ be the time needed to trap all mosquitoes in the room after closing the window at time $t>0$. By considering the event $\{X(t+v) \geqslant 1\}$, or otherwise, compute $\mathbb{P}[V(t)>v]$.

  (f) Now suppose that the time $t$ at which I shut the window is very large, so that I can assume that the number of mosquitoes in the room has the distribution of $Q^{E}$. Let $V^{E}$ be the further time needed to trap all mosquitoes in the room. Show that

  $$\mathbb{P}\left[V^{E}>v\right]=1-\exp \left(-\lambda \mathbb{E}\left[(S-v)_{+}\right]\right),$$

  where $x_{+} \equiv \max (x, 0)$.

  comment

• 1.II.27I

  #Principles of Statistics

  2008

  An angler starts fishing at time 0. Fish bite in a Poisson Process of rate $\Lambda$ per hour, so that, if $\Lambda=\lambda$, the number $N_{t}$ of fish he catches in the first $t$ hours has the Poisson distribution $\mathcal{P}(\lambda t)$, while $T_{n}$, the time in hours until his $n$th bite, has the Gamma distribution $\Gamma(n, \lambda)$, with density function

  $$p(t \mid \lambda)=\frac{\lambda^{n}}{(n-1) !} t^{n-1} e^{-\lambda t} \quad(t>0) .$$

  Bystander $B_{1}$ plans to watch for 3 hours, and to record the number $N_{3}$ of fish caught. Bystander $B_{2}$ plans to observe until the 10 th bite, and to record $T_{10}$, the number of hours until this occurs.

  For $B_{1}$, show that $\widetilde{\Lambda}_{1}:=N_{3} / 3$ is an unbiased estimator of $\Lambda$ whose variance function achieves the Cramér-Rao lower bound

  Find an unbiased estimator of $\Lambda$ for $B_{2}$, of the form $\widetilde{\Lambda}_{2}=k / T_{10}$. Does it achieve the Cramér-Rao lower bound? Is it minimum-variance-unbiased? Justify your answers.

  In fact, the 10 th fish bites after exactly 3 hours. For each of $B_{1}$ and $B_{2}$, write down the likelihood function for $\Lambda$ based their observations. What does the Likelihood Principle have to say about the inferences to be drawn by $B_{1}$ and $B_{2}$, and why? Compute the estimates $\tilde{\lambda}_{1}$ and $\widetilde{\lambda}_{2}$ produced by applying $\widetilde{\Lambda}_{1}$ and $\widetilde{\Lambda}_{2}$ to the observed data. Does the method of minimum-variance-unbiased estimation respect the Likelihood Principle?

  comment

• 2.II.27I

  #Principles of Statistics

  2008

  Under hypothesis $H_{i}(i=0,1)$, a real-valued observable $X$, taking values in $\mathcal{X}$, has density function $p_{i}(\cdot)$. Define the Type I error $\alpha$ and the Type II error $\beta$ of a test $\phi: \mathcal{X} \rightarrow[0,1]$ of the null hypothesis $H_{0}$ against the alternative hypothesis $H_{1}$. What are the size and power of the test in terms of $\alpha$ and $\beta$ ?

  Show that, for $0<c<\infty, \phi$ minimises $c \alpha+\beta$ among all possible tests if and only if it satisfies

  $$\begin{aligned} &p_{1}(x)>c p_{0}(x) \Rightarrow \phi(x)=1 \\ &p_{1}(x)<c p_{0}(x) \Rightarrow \phi(x)=0 \end{aligned}$$

  What does this imply about the admissibility of such a test?

  Given the value $\theta$ of a parameter variable $\Theta \in[0,1)$, the observable $X$ has density function

  $$p(x \mid \theta)=\frac{2(x-\theta)}{(1-\theta)^{2}} \quad(\theta \leqslant x \leqslant 1)$$

  For fixed $\theta \in(0,1)$, describe all the likelihood ratio tests of $H_{0}: \Theta=0$ against $H_{\theta}: \Theta=\theta$.

  For fixed $k \in(0,1)$, let $\phi_{k}$ be the test that rejects $H_{0}$ if and only if $X \geqslant k$. Is $\phi_{k}$ admissible as a test of $H_{0}$ against $H_{\theta}$ for every $\theta \in(0,1)$ ? Is it uniformly most powerful for its size for testing $H_{0}$ against the composite hypothesis $H_{1}: \Theta \in(0,1)$ ? Is it admissible as a test of $H_{0}$ against $H_{1}$ ?

  comment

• 3.II.26I

  #Principles of Statistics

  2008

  Define the notion of exponential family $(E F)$, and show that, for data arising as a random sample of size $n$ from an exponential family, there exists a sufficient statistic whose dimension stays bounded as $n \rightarrow \infty$.

  The log-density of a normal distribution $\mathcal{N}(\mu, v)$ can be expressed in the form

  $$\log p(x \mid \boldsymbol{\phi})=\phi_{1} x+\phi_{2} x^{2}-k(\boldsymbol{\phi})$$

  where $\phi=\left(\phi_{1}, \phi_{2}\right)$ is the value of an unknown parameter $\Phi=\left(\Phi_{1}, \Phi_{2}\right)$. Determine the function $k$, and the natural parameter-space $\mathbb{F}$. What is the mean-value parameter $\mathrm{H}=\left(\mathrm{H}_{1}, \mathrm{H}_{2}\right)$ in terms of $\Phi ?$

  Determine the maximum likelihood estimator $\widehat{\Phi}_{1}$ of $\Phi_{1}$ based on a random sample $\left(X_{1}, \ldots, X_{n}\right)$, and give its asymptotic distribution for $n \rightarrow \infty$.

  How would these answers be affected if the variance of $X$ were known to have value $v_{0}$ ?

  comment

• 4.II.27I

  #Principles of Statistics

  2008

  Define sufficient statistic, and state the factorisation criterion for determining whether a statistic is sufficient. Show that a Bayesian posterior distribution depends on the data only through the value of a sufficient statistic.

  Given the value $\mu$ of an unknown parameter $M$, observables $X_{1}, \ldots, X_{n}$ are independent and identically distributed with distribution $\mathcal{N}(\mu, 1)$. Show that the statistic $\bar{X}:=n^{-1} \sum_{i=1}^{n} X_{i}$ is sufficient for $\mathrm{M}$.

  If the prior distribution is $\mathrm{M} \sim \mathcal{N}\left(0, \tau^{2}\right)$, determine the posterior distribution of $\mathrm{M}$ and the predictive distribution of $\bar{X}$.

  In fact, there are two hypotheses as to the value of M. Under hypothesis $H_{0}$, $\mathrm{M}$ takes the known value 0 ; under $H_{1}, \mathrm{M}$ is unknown, with prior distribution $\mathcal{N}\left(0, \tau^{2}\right)$. Explain why the Bayes factor for choosing between $H_{0}$ and $H_{1}$ depends only on $\bar{X}$, and determine its value for data $X_{1}=x_{1}, \ldots, X_{n}=x_{n}$.

  The frequentist $5 \%$-level test of $H_{0}$ against $H_{1}$ rejects $H_{0}$ when $|\bar{X}| \geqslant 1.96 / \sqrt{n}$. What is the Bayes factor for the critical case $|\bar{x}|=1.96 / \sqrt{n}$ ? How does this behave as $n \rightarrow \infty$ ? Comment on the similarities or differences in behaviour between the frequentist and Bayesian tests.

  comment

• 1.II.28J

  #Stochastic Financial Models

  2008

  (a) In the context of the Black-Scholes formula, let $S_{0}$ be the time- 0 spot price, $K$ be the strike price, $T$ be the time to maturity, and let $\sigma$ be the volatility. Assume that the interest rate $r$ is constant and assume absence of dividends. Write $\mathrm{EC}\left(S_{0}, K, \sigma, r, T\right)$ for the time- 0 price of a standard European call. The Black-Scholes formula can be written in the following form

  $$\operatorname{EC}\left(S_{0}, K, \sigma, r, T\right)=S_{0} \Phi\left(d_{1}\right)-e^{-r T} K \Phi\left(d_{2}\right)$$

  State how the quantities $d_{1}$ and $d_{2}$ depend on $S_{0}, K, \sigma, r$ and $T$.

  Assume that you sell this option at time 0 . What is your replicating portfolio at time 0 ?

  [No proofs are required.]

  (b) Compute the limit of $\operatorname{EC}\left(S_{0}, K, \sigma, r, T\right)$ as $\sigma \rightarrow \infty$. Construct an explicit arbitrage under the assumption that European calls are traded above this limiting price.

  (c) Compute the limit of $\operatorname{EC}\left(S_{0}, K, \sigma, r, T\right)$ as $\sigma \rightarrow 0$. Construct an explicit arbitrage under the assumption that European calls are traded below this limiting price.

  (d) Express in terms of $S_{0}, d_{1}$ and $T$ the derivative

  $$\frac{\partial}{\partial \sigma} \operatorname{EC}\left(S_{0}, K, \sigma, r, T\right)$$

  [Hint: you may find it useful to express $\frac{\partial}{\partial \sigma} d_{1}$ in terms of $\frac{\partial}{\partial \sigma} d_{2}$.]

  [You may use without proof the formula $S_{0} \Phi^{\prime}\left(d_{1}\right)-e^{-r T} K \Phi^{\prime}\left(d_{2}\right)=0$.]

  (e) Say what is meant by implied volatility and explain why the previous results make it well-defined.

  comment

• 2.II.28J

  #Stochastic Financial Models

  2008

  (a) Let $\left(B_{t}: t \geqslant 0\right)$ be a Brownian motion and consider the process

  $$Y_{t}=Y_{0} e^{\sigma B_{t}+\left(\mu-\frac{1}{2} \sigma^{2}\right) t}$$

  for $Y_{0}>0$ deterministic. For which values of $\mu$ is $\left(Y_{t}: t \geqslant 0\right)$ a supermartingale? For which values of $\mu$ is $\left(Y_{t}: t \geqslant 0\right)$ a martingale? For which values of $\mu$ is $\left(1 / Y_{t}: t \geqslant 0\right)$ a martingale? Justify your answers.

  (b) Assume that the riskless rates of return for Dollar investors and Euro investors are $r_{D}$ and $r_{E}$ respectively. Thus, 1 Dollar at time 0 in the bank account of a Dollar investor will grow to $e^{r_{D} t}$ Dollars at time $t$. For a Euro investor, the Dollar is a risky, tradable asset. Let $\mathbb{Q}_{E}$ be his equivalent martingale measure and assume that the EUR/USD exchange rate at time $t$, that is, the number of Euros that one Dollar will buy at time $t$, is given by

  $$Y_{t}=Y_{0} e^{\sigma B_{t}+\left(\mu-\frac{1}{2} \sigma^{2}\right) t},$$

  where $\left(B_{t}\right)$ is a Brownian motion under $\mathbb{Q}_{E}$. Determine $\mu$ as function of $r_{D}$ and $r_{E}$. Verify that $Y$ is a martingale if $r_{D}=r_{E}$.

  (c) Let $r_{D}, r_{E}$ be as in part (b). Let now $\mathbb{Q}_{D}$ be an equivalent martingale measure for a Dollar investor and assume that the EUR/USD exchange rate at time $t$ is given by

  $$Y_{t}=Y_{0} e^{\sigma B_{t}+\left(\mu-\frac{1}{2} \sigma^{2}\right) t}$$

  where now $\left(B_{t}\right)$ is a Brownian motion under $\mathbb{Q}_{D}$. Determine $\mu$ as function of $r_{D}$ and $r_{E}$. Given $r_{D}=r_{E}$, check, under $\mathbb{Q}_{D}$, that is $Y$ is not a martingale but that $1 / Y$ is a martingale.

  (d) Assuming still that $r_{D}=r_{E}$, rederive the final conclusion of part (c), namely the martingale property of $1 / Y$, directly from part (b).

  comment

• 3.II.27J

  #Stochastic Financial Models

  2008

  Consider a vector of asset prices evolving over time $\bar{S}=\left(S_{t}^{0}, S_{t}^{1}, \ldots, S_{t}^{d}\right)_{t \in\{0,1, \ldots, T\}}$. The asset price $S^{0}$ is assumed constant over time. In this context, explain what is an arbitrage and prove that the existence of an equivalent martingale measure implies noarbitrage.

  Suppose that over two periods a stock price moves on a binomial tree

  

  Assume riskless rate $r=1 / 4$. Determine the equivalent martingale measure. [No proof is required.]

  Sell an American put with strike 15 and expiry 2 at its no-arbitrage price, which you should determine.

  Verify that the buyer of the option should use his early exercise right if the first period is bad.

  Assume that the first period is bad, and that the buyer forgets to exercise. How much risk-free profit can you lock in?

  comment

• 4.II.28J

  #Stochastic Financial Models

  2008

  (a) Consider a family $\left(X_{n}: n \geqslant 0\right)$ of independent, identically distributed, positive random variables and fix $z_{0}>0$. Define inductively

  $$z_{n+1}=z_{n} X_{n}, \quad n \geqslant 0$$

  Compute, for $n \in\{1, \ldots, N\}$, the conditional expectation $\mathbb{E}\left(z_{N} \mid z_{n}\right)$.

  (b) Fix $R \in[0,1)$. In the setting of part (a), compute also $\mathbb{E}\left(U\left(z_{N}\right) \mid z_{n}\right)$, where

  $$U(x)=x^{1-R} /(1-R), \quad x \geqslant 0 .$$

  (c) Let $U$ be as in part (b). An investor with wealth $w_{0}>0$ at time 0 wishes to invest it in such a way as to maximise $\mathbb{E}\left(U\left(w_{N}\right)\right)$ where $w_{N}$ is the wealth at the start of day $N$. Let $\alpha \in[0,1]$ be fixed. On day $n$, he chooses the proportion $\theta \in[\alpha, 1]$ of his wealth to invest in a single risky asset, so that his wealth at the start of day $n+1$ will be

  $$w_{n+1}=w_{n}\left\{\theta X_{n}+(1-\theta)(1+r)\right\}$$

  Here, $\left(X_{n}: n \geqslant 0\right)$ is as in part (a) and $r$ is the per-period riskless rate of interest. If $V_{n}(w)=\sup \mathbb{E}\left(U\left(w_{N}\right) \mid w_{n}=w\right)$ denotes the value function of this optimization problem, show that $V_{n}\left(w_{n}\right)=a_{n} U\left(w_{n}\right)$ and give a formula for $a_{n}$. Verify that, in the case $\alpha=1$, your answer is in agreement with part (b).

  comment

• 2.II.29I

  #Optimization and Control

  2008

  Consider a stochastic controllable dynamical system $P$ with action-space $A$ and countable state-space $S$. Thus $P=\left(p_{x y}(a): x, y \in S, a \in A\right)$ and $p_{x y}(a)$ denotes the transition probability from $x$ to $y$ when taking action $a$. Suppose that a cost $c(x, a)$ is incurred each time that action $a$ is taken in state $x$, and that this cost is uniformly bounded. Write down the dynamic optimality equation for the problem of minimizing the expected long-run average cost.

  State in terms of this equation a general result, which can be used to identify an optimal control and the minimal long-run average cost.

  A particle moves randomly on the integers, taking steps of size 1 . Suppose we can choose at each step a control parameter $u \in[\alpha, 1-\alpha]$, where $\alpha \in(0,1 / 2)$ is fixed, which has the effect that the particle moves in the positive direction with probability $u$ and in the negative direction with probability $1-u$. It is desired to maximize the long-run proportion of time $\pi$ spent by the particle at 0 . Show that there is a solution to the optimality equation for this example in which the relative cost function takes the form $\theta(x)=\mu|x|$, for some constant $\mu$.

  Determine an optimal control and show that the maximal long-run proportion of time spent at 0 is given by

  $$\pi=\frac{1-2 \alpha}{2(1-\alpha)} .$$

  You may assume that it is valid to use an unbounded function $\theta$ in the optimality equation in this example.

  comment

• 3.II.28I

  #Optimization and Control

  2008

  Let $Q$ be a positive-definite symmetric $m \times m$ matrix. Show that a non-negative quadratic form on $\mathbb{R}^{d} \times \mathbb{R}^{m}$ of the form

  $$c(x, a)=x^{T} R x+x^{T} S^{T} a+a^{T} S x+a^{T} Q a, \quad x \in \mathbb{R}^{d}, \quad a \in \mathbb{R}^{m}$$

  is minimized over $a$, for each $x$, with value $x^{T}\left(R-S^{T} Q^{-1} S\right) x$, by taking $a=K x$, where $K=-Q^{-1} S$.

  Consider for $k \leqslant n$ the controllable stochastic linear system in $\mathbb{R}^{d}$

  $$X_{j+1}=A X_{j}+B U_{j}+\varepsilon_{j+1}, \quad j=k, k+1, \ldots, n-1,$$

  starting from $X_{k}=x$ at time $k$, where the control variables $U_{j}$ take values in $\mathbb{R}^{m}$, and where $\varepsilon_{k+1}, \ldots, \varepsilon_{n}$ are independent, zero-mean random variables, with $\operatorname{var}\left(\varepsilon_{j}\right)=N_{j}$. Here, $A, B$ and $N_{j}$ are, respectively, $d \times d, d \times m$ and $d \times d$ matrices. Assume that a cost $c\left(X_{j}, U_{j}\right)$ is incurred at each time $j=k, \ldots, n-1$ and that a final cost $C\left(X_{n}\right)=X_{n}^{T} \Pi_{0} X_{n}$ is incurred at time $n$. Here, $\Pi_{0}$ is a given non-negative-definite symmetric matrix. It is desired to minimize, over the set of all controls $u$, the total expected cost $V^{u}(k, x)$. Write down the optimality equation for the infimal cost function $V(k, x)$.

  Hence, show that $V(k, x)$ has the form

  $$V(k, x)=x^{T} \Pi_{n-k} x+\gamma_{k}$$

  for some non-negative-definite symmetric matrix $\Pi_{n-k}$ and some real constant $\gamma_{k}$. Show how to compute the matrix $\Pi_{n-k}$ and constant $\gamma_{k}$ and how to determine an optimal control.

  comment

• 4.II.29I

  #Optimization and Control

  2008

  State Pontryagin's maximum principle for the controllable dynamical system with state-space $\mathbb{R}^{+}$, given by

  $$\dot{x}_{t}=b\left(t, x_{t}, u_{t}\right), \quad t \geqslant 0,$$

  where the running costs are given by $c\left(t, x_{t}, u_{t}\right)$, up to an unconstrained terminal time $\tau$ when the state first reaches 0 , and there is a terminal cost $C(\tau)$.

  A company pays a variable price $p(t)$ per unit time for electrical power, agreed in advance, which depends on the time of day. The company takes on a job at time $t=0$, which requires a total amount $E$ of electrical energy, but can be processed at a variable level of power consumption $u(t) \in[0,1]$. If the job is completed by time $\tau$, then the company will receive a reward $R(\tau)$. Thus, it is desired to minimize

  $$\int_{0}^{\tau} u(t) p(t) d t-R(\tau)$$

  subject to

  $$\int_{0}^{\tau} u(t) d t=E, \quad u(t) \in[0,1],$$

  with $\tau>0$ unconstrained. Take as state variable the energy $x_{t}$ still needed at time $t$ to complete the job. Use Pontryagin's maximum principle to show that the optimal control is to process the job on full power or not at all, according as the price $p(t)$ lies below or above a certain threshold value $p^{*}$.

  Show further that, if $\tau^{*}$ is the completion time for the optimal control, then

  $$p^{*}+\dot{R}\left(\tau^{*}\right)=p\left(\tau^{*}\right)$$

  Consider a case in which $p$ is periodic, with period one day, where day 1 corresponds to the time interval $[0,2]$, and $p(t)=(t-1)^{2}$ during day 1 . Suppose also that $R(\tau)=1 /(1+\tau)$ and $E=1 / 2$. Determine the total energy cost and the reward associated with the threshold $p^{*}=1 / 4$.

  Hence, show that any threshold low enough to carry processing over into day 2 is suboptimal.

  Show carefully that the optimal price threshold is given by $p^{*}=1 / 4$.

  comment

• 1.II.29C

  #Partial Differential Equations

  2008

  (i) State the local existence theorem for the first order quasi-linear partial differential equation

  $$\sum_{j=1}^{n} a_{j}(x, u) \frac{\partial u}{\partial x_{j}}=b(x, u)$$

  which is to be solved for a real-valued function with data specified on a hypersurface $S$. Include a definition of "non-characteristic" in your answer.

  (ii) Consider the linear constant-coefficient case (that is, when all the functions $a_{1}, \ldots, a_{n}$ are real constants and $b(x, u)=c x+d$ for some $c=\left(c_{1}, \ldots, c_{n}\right)$ with $c_{1}, \ldots, c_{n}$ real and $d$ real) and with the hypersurface $S$ taken to be the hyperplane $\mathbf{x} \cdot \mathbf{n}=0$. Explain carefully the relevance of the non-characteristic condition in obtaining a solution via the method of characteristics.

  (iii) Solve the equation

  $$\frac{\partial u}{\partial y}+u \frac{\partial u}{\partial x}=0$$

  with initial data $u(0, y)=-y$ prescribed on $x=0$, for a real-valued function $u(x, y)$. Describe the domain on which your solution is $C^{1}$ and comment on this in relation to the theorem stated in (i).

  comment

• 2.II.30C

  #Partial Differential Equations

  2008

  (i) Define the concept of "fundamental solution" of a linear constant-coefficient partial differential operator and write down the fundamental solution for the operator $-\Delta$ on $\mathbb{R}^{3}$.

  (ii) State and prove the mean value property for harmonic functions on $\mathbb{R}^{3}$.

  (iii) Let $u \in C^{2}\left(\mathbb{R}^{3}\right)$ be a harmonic function which satisfies $u(p) \geqslant 0$ at every point $p$ in an open set $\Omega \subset \mathbb{R}^{3}$. Show that if $B(z, r) \subset B(w, R) \subset \Omega$, then

  $$u(w) \geqslant\left(\frac{r}{R}\right)^{3} u(z) .$$

  Assume that $B(x, 4 r) \subset \Omega$. Deduce, by choosing $R=3 r$ and $w, z$ appropriately, that

  $$\inf _{B(x, r)} u \geqslant 3^{-3} \sup _{B(x, r)} u .$$

  [In (iii), $B(z, \rho)=\left\{x \in \mathbb{R}^{3}:\|x-z\|<\rho\right\}$ is the ball of radius $\rho>0$ centred at $\left.z \in \mathbb{R}^{3} \cdot\right]$

  comment

• 3.II.29C

  #Partial Differential Equations

  2008

  Let $C_{p e r}^{\infty}=\left\{u \in C^{\infty}(\mathbb{R}): u(x+2 \pi)=u(x)\right\}$ be the space of smooth $2 \pi$-periodic functions of one variable.

  (i) For $f \in C_{p e r}^{\infty}$ show that there exists a unique $u_{f} \in C_{p e r}^{\infty}$ such that

  $$-\frac{d^{2} u_{f}}{d x^{2}}+u_{f}=f$$

  (ii) Show that $I_{f}\left[u_{f}+\phi\right]>I_{f}\left[u_{f}\right]$ for every $\phi \in C_{p e r}^{\infty}$ which is not identically zero, where $I_{f}: C_{p e r}^{\infty} \rightarrow \mathbb{R}$ is defined by

  $$I_{f}[u]=\frac{1}{2} \int_{-\pi}^{+\pi}\left[\left(\frac{\partial u}{\partial x}\right)^{2}+u^{2}-2 f(x) u\right] d x$$

  (iii) Show that the equation

  $$\frac{\partial u}{\partial t}-\frac{\partial^{2} u}{\partial x^{2}}+u=f(x)$$

  with initial data $u(0, x)=u_{0}(x) \in C_{\text {per }}^{\infty}$ has, for $t>0$, a smooth solution $u(t, x)$ such that $u(t, \cdot) \in C_{p e r}^{\infty}$ for each fixed $t>0$. Give a representation of this solution as a Fourier series in $x$. Calculate $\lim _{t \rightarrow+\infty} u(t, x)$ and comment on your answer in relation to (i).

  (iv) Show that $I_{f}[u(t, \cdot)] \leqslant I_{f}[u(s, \cdot)]$ for $t>s>0$, and that $I_{f}[u(t, \cdot)] \rightarrow I_{f}\left[u_{f}\right]$ as $t \rightarrow+\infty$.

  comment

• 4.II.30C

  #Partial Differential Equations

  2008

  (i) Define the Fourier transform $\hat{f}=\mathcal{F}(f)$ of a Schwartz function $f \in \mathcal{S}\left(\mathbb{R}^{n}\right)$, and also of a tempered distribution $u \in \mathcal{S}^{\prime}\left(\mathbb{R}^{n}\right)$.

  (ii) From your definition, compute the Fourier transform of the distribution $W_{t} \in \mathcal{S}^{\prime}\left(\mathbb{R}^{3}\right)$ given by

  $$W_{t}(\psi)=<W_{t}, \psi>=\frac{1}{4 \pi t} \int_{\|y\|=t} \psi(y) d \Sigma(y)$$

  for every Schwartz function $\psi \in \mathcal{S}\left(\mathbb{R}^{3}\right)$. Here $d \Sigma(y)=t^{2} d \Omega(y)$ is the integration element on the sphere of radius $t$.

  Hence deduce the formula of Kirchoff for the solution of the initial value problem for the wave equation in three space dimensions,

  $$\frac{\partial^{2} u}{\partial t^{2}}-\Delta u=0$$

  with initial data $u(0, x)=0$ and $\frac{\partial u}{\partial t}(0, x)=g(x), x \in \mathbb{R}^{3}$, where $g \in \mathcal{S}\left(\mathbb{R}^{3}\right)$. Explain briefly why the formula is also valid for arbitrary smooth $g \in C^{\infty}\left(\mathbb{R}^{3}\right)$.

  (iii) Show that any $C^{2}$ solution of the initial value problem in (ii) is given by the formula derived in (ii) (uniqueness).

  (iv) Show that any two $C^{2}$ solutions of the initial value problem for

  $$\frac{\partial^{2} u}{\partial t^{2}}+\frac{\partial u}{\partial t}-\Delta u=0$$

  with the same initial data as in (ii), also agree for any $t>0$.

  comment

• 1.II $. 30 \mathrm{~A}$

  #Asymptotic Methods

  2008

  Obtain an expression for the $n$th term of an asymptotic expansion, valid as $\lambda \rightarrow \infty$, for the integral

  $$I(\lambda)=\int_{0}^{1} t^{2 \alpha} e^{-\lambda\left(t^{2}+t^{3}\right)} d t \quad(\alpha>-1 / 2) .$$

  Estimate the value of $n$ for the term of least magnitude.

  Obtain the first two terms of an asymptotic expansion, valid as $\lambda \rightarrow \infty$, for the integral

  $$J(\lambda)=\int_{0}^{1} t^{2 \alpha} e^{-\lambda\left(t^{2}-t^{3}\right)} d t \quad(-1 / 2<\alpha<0)$$

  [Hint:

  $$\left.\Gamma(z)=\int_{0}^{\infty} t^{z-1} e^{-t} d t .\right]$$

  [Stirling's formula may be quoted.]

  comment

• 3.II $. 30 \mathrm{~A}$

  #Asymptotic Methods

  2008

  Describe how the leading-order approximation may be found by the method of stationary phase of

  $$I(\lambda)=\int_{a}^{b} f(t) \exp (i \lambda g(t)) d t$$

  for $\lambda \gg 1$, where $\lambda, f$ and $g$ are real. You should consider the cases for which: (a) $g^{\prime}(t)$ has one simple zero at $t=t_{0}$, where $a<t_{0}<b$; (b) $g^{\prime}(t)$ has more than one simple zero in the region $a<t<b$; and (c) $g^{\prime}(t)$ has only a simple zero at $t=b$.

  What is the order of magnitude of $I(\lambda)$ if $g^{\prime}(t)$ is non zero for $a \leqslant t \leqslant b$ ?

  Use the method of stationary phase to find the leading-order approximation for $\lambda \gg 1$ to

  $$J(\lambda)=\int_{0}^{1} \sin \left(\lambda\left(t^{3}-t\right)\right) d t$$

  [Hint:

  $$\left.\int_{-\infty}^{\infty} \exp \left(i u^{2}\right) d u=\sqrt{\pi} e^{i \pi / 4} .\right]$$

  comment

• 4.II $. 31 \mathrm{~A}$

  #Asymptotic Methods

  2008

  The Bessel equation of order $n$ is

  $$z^{2} y^{\prime \prime}+z y^{\prime}+\left(z^{2}-n^{2}\right) y=0 .$$

  Here, $n$ is taken to be an integer, with $n \geqslant 0$. The transformation $w(z)=z^{\frac{1}{2}} y(z)$ converts (1) to the form

  $$w^{\prime \prime}+q(z) w=0$$

  where

  $$q(z)=1-\frac{\left(n^{2}-\frac{1}{4}\right)}{z^{2}}$$

  Find two linearly independent solutions of the form

  $$w=e^{s z} \sum_{k=0}^{\infty} c_{k} z^{\rho-k}$$

  where $c_{k}$ are constants, with $c_{0} \neq 0$, and $s$ and $\rho$ are to be determined. Find recurrence relationships for the $c_{k}$.

  Find the first two terms of two linearly independent Liouville-Green solutions of (2) for $w(z)$ valid in a neighbourhood of $z=\infty$. Relate these solutions to those of the form (3).

  comment

• 1.II.31C

  #Integrable Systems

  2008

  Define an integrable system in the context of Hamiltonian mechanics with a finite number of degrees of freedom and state the Arnold-Liouville theorem.

  Consider a six-dimensional phase space with its canonical coordinates $\left(p_{j}, q_{j}\right)$, $j=1,2,3$, and the Hamiltonian

  $$\frac{1}{2} \sum_{j=1}^{3} p_{j}^{2}+F(r)$$

  where $r=\sqrt{q_{1}^{2}+q_{2}^{2}+q_{3}^{2}}$ and where $F$ is an arbitrary function. Show that both $M_{1}=q_{2} p_{3}-q_{3} p_{2}$ and $M_{2}=q_{3} p_{1}-q_{1} p_{3}$ are first integrals.

  State the Jacobi identity and deduce that the Poisson bracket

  $$M_{3}=\left\{M_{1}, M_{2}\right\}$$

  is also a first integral. Construct a suitable expression out of $M_{1}, M_{2}, M_{3}$ to demonstrate that the system admits three first integrals in involution and thus satisfies the hypothesis of the Arnold-Liouville theorem.

  comment

• 2.II.31C

  #Integrable Systems

  2008

  Describe the inverse scattering transform for the $\mathrm{KdV}$ equation, paying particular attention to the Lax representation and the evolution of the scattering data.

  [Hint: you may find it helpful to consider the operator

  $$\left.A=4 \frac{d^{3}}{d x^{3}}-3\left(u \frac{d}{d x}+\frac{d}{d x} u\right) \cdot\right]$$

  comment

• 3.II.31C

  #Integrable Systems

  2008

  Let $U(\lambda)$ and $V(\lambda)$ be matrix-valued functions of $(x, y)$ depending on the auxiliary parameter $\lambda$. Consider a system of linear PDEs

  $$\frac{\partial}{\partial x} \Phi=U(\lambda) \Phi, \quad \frac{\partial}{\partial y} \Phi=V(\lambda) \Phi$$

  where $\Phi$ is a column vector whose components depend on $(x, y, \lambda)$. Derive the zero curvature representation as the compatibility conditions for this system.

  Assume that

  $$U(\lambda)=-\left(\begin{array}{ccc} u_{x} & 0 & \lambda \\ 1 & -u_{x} & 0 \\ 0 & 1 & 0 \end{array}\right), \quad V(\lambda)=-\left(\begin{array}{ccc} 0 & e^{-2 u} & 0 \\ 0 & 0 & e^{u} \\ \lambda^{-1} e^{u} & 0 & 0 \end{array}\right)$$

  and show that (1) is compatible if the function $u=u(x, y)$ satisfies the PDE

  $$\frac{\partial^{2} u}{\partial x \partial y}=F(u)$$

  for some $F(u)$ which should be determined.

  Show that the transformation

  $$(x, y) \longrightarrow\left(c x, c^{-1} y\right), \quad c \in \mathbb{R} \backslash\{0\}$$

  forms a symmetry group of the PDE (2) and find the vector field generating this group.

  Find the ODE characterising the group-invariant solutions of (2).

  comment

• 1.II.32D

  #Principles of Quantum Mechanics

  2008

  (a) If $A$ and $B$ are operators which each commute with their commutator $[A, B]$, show that $\left[A, e^{B}\right]=[A, B] e^{B}$. By considering

  $$F(\lambda)=e^{\lambda A} e^{\lambda B} e^{-\lambda(A+B)}$$

  and differentiating with respect to the parameter $\lambda$, show also that

  $$e^{A} e^{B}=C e^{A+B}=e^{A+B} C$$

  where $C=e^{\frac{1}{2}[A, B]}$.

  (b) Consider a one-dimensional quantum system with position $\hat{x}$ and momentum $\hat{p}$. Write down a formula for the operator $U(\alpha)$ corresponding to translation through $\alpha$, calculate $[\hat{x}, U(\alpha)]$, and show that your answer is consistent with the assumption that position eigenstates obey $|x+\alpha\rangle=U(\alpha)|x\rangle$. Given this assumption, express the wavefunction for $U(\alpha)|\psi\rangle$ in terms of the wavefunction $\psi(x)$ for $|\psi\rangle$.

  Now suppose the one-dimensional system is a harmonic oscillator of mass $m$ and frequency $\omega$. Show that

  $$\psi_{0}(x-\alpha)=e^{-m \omega \alpha^{2} / 4 \hbar} \sum_{n=0}^{\infty}\left(\frac{m \omega}{2 \hbar}\right)^{n / 2} \frac{\alpha^{n}}{\sqrt{n !}} \psi_{n}(x),$$

  where $\psi_{n}(x)$ are normalised wavefunctions with energies $E_{n}=\hbar \omega\left(n+\frac{1}{2}\right)$.

  [Standard results for constructing normalised energy eigenstates in terms of annihilation and creation operators

  $$a=\left(\frac{m \omega}{2 \hbar}\right)^{1 / 2}\left(\hat{x}+\frac{i}{m \omega} \hat{p}\right), \quad a^{\dagger}=\left(\frac{m \omega}{2 \hbar}\right)^{1 / 2}\left(\hat{x}-\frac{i}{m \omega} \hat{p}\right)$$

  may be quoted without proof.]

  comment

• 2.II.32D

  #Principles of Quantum Mechanics

  2008

  Derive approximate expressions for the eigenvalues of a Hamiltonian $H+\lambda V$, working to second order in the parameter $\lambda$ and assuming the eigenstates and eigenvalues of $H$ are known and non-degenerate.

  Let $\mathbf{J}=\left(J_{1}, J_{2}, J_{3}\right)$ be angular momentum operators with $|j m\rangle$ joint eigenstates of $\mathbf{J}^{2}$ and $J_{3}$. What are the possible values of the labels $j$ and $m$ and what are the corresponding eigenvalues of the operators?

  A particle with spin $j$ is trapped in space (its position and momentum can be ignored) but is subject to a magnetic field of the form $\mathbf{B}=\left(B_{1}, 0, B_{3}\right)$, resulting in a Hamiltonian $-\gamma\left(B_{1} J_{1}+B_{3} J_{3}\right)$. Starting from the eigenstates and eigenvalues of this Hamiltonian when $B_{1}=0$, use perturbation theory to compute the leading order corrections to the energies when $B_{1}$ is non-zero but much smaller than $B_{3}$. Compare with the exact result.

  [You may set $\hbar=1$ and use $J_{\pm}|j m\rangle=\sqrt{(j \mp m)(j \pm m+1)}|j m \pm 1\rangle .$ ]

  comment

• 3.II $32 \mathrm{D}$

  #Principles of Quantum Mechanics

  2008

  Explain, in a few lines, how the Pauli matrices $\boldsymbol{\sigma}=\left(\sigma_{1}, \sigma_{2}, \sigma_{3}\right)$ with

  $$\sigma_{1}=\left(\begin{array}{cc} 0 & 1 \\ 1 & 0 \end{array}\right), \quad \sigma_{2}=\left(\begin{array}{cc} 0 & -i \\ i & 0 \end{array}\right), \quad \sigma_{3}=\left(\begin{array}{cc} 1 & 0 \\ 0 & -1 \end{array}\right)$$

  are used to represent angular momentum operators with respect to basis states $|\uparrow\rangle$ and $|\downarrow\rangle$ corresponding to spin up and spin down along the 3 -axis. You should state clearly which properties of the matrices correspond to general features of angular momentum and which are specific to spin half.

  Consider two spin-half particles labelled A and B, each with its spin operators and spin eigenstates. Find the matrix representation of

  $$\boldsymbol{\sigma}^{(\mathrm{A})} \cdot \boldsymbol{\sigma}^{(\mathrm{B})}=\sigma_{1}^{(\mathrm{A})} \sigma_{1}^{(\mathrm{B})}+\sigma_{2}^{(\mathrm{A})} \sigma_{2}^{(\mathrm{B})}+\sigma_{3}^{(\mathrm{A})} \sigma_{3}^{(\mathrm{B})}$$

  with respect to a basis of two-particle states $|\uparrow\rangle_{\mathrm{A}}|\uparrow\rangle_{\mathrm{B}},|\downarrow\rangle_{\mathrm{A}}|\uparrow\rangle_{\mathrm{B}},|\uparrow\rangle_{\mathrm{A}}|\downarrow\rangle_{\mathrm{B}},|\downarrow\rangle_{\mathrm{A}}|\downarrow\rangle_{\mathrm{B}}$. Show that the eigenvalues of the matrix are $1,1,1,-3$ and find the eigenvectors.

  What is the behaviour of each eigenvector under interchange of $\mathrm{A}$ and $\mathrm{B}$ ? If the particles are identical, and there are no other relevant degrees of freedom, which of the two-particle states are allowed?

  By relating $\left(\boldsymbol{\sigma}^{(\mathrm{A})}+\boldsymbol{\sigma}^{(\mathrm{B})}\right)^{2}$ to the operator discussed above, show that your findings are consistent with standard results for addition of angular momentum.

  comment

• 4.II.32D

  #Principles of Quantum Mechanics

  2008

  Define the interaction picture for a quantum mechanical system with Schrödinger picture Hamiltonian $H_{0}+V(t)$ and explain why either picture gives the same physical predictions. Derive an equation of motion for interaction picture states and use this to show that the probability of a transition from a state $|n\rangle$ at time zero to a state $|m\rangle$ at time $t$ is

  $$P(t)=\frac{1}{\hbar^{2}}\left|\int_{0}^{t} e^{i\left(E_{m}-E_{n}\right) t^{\prime} / \hbar}\left\langle m\left|V\left(t^{\prime}\right)\right| n\right\rangle d t^{\prime}\right|^{2}$$

  correct to second order in $V$, where the initial and final states are orthogonal eigenstates of $H_{0}$ with eigenvalues $E_{n}$ and $E_{m}$.

  Consider a perturbed harmonic oscillator:

  $$H_{0}=\hbar \omega\left(a^{\dagger} a+\frac{1}{2}\right), \quad V(t)=\hbar \lambda\left(a e^{i \nu t}+a^{\dagger} e^{-i \nu t}\right)$$

  with $a$ and $a^{\dagger}$ annihilation and creation operators (all usual properties may be assumed). Working to order $\lambda^{2}$, find the probability for a transition from an initial state with $E_{n}=\hbar \omega\left(n+\frac{1}{2}\right)$ to a final state with $E_{m}=\hbar \omega\left(m+\frac{1}{2}\right)$ after time $t$.

  Suppose $t$ becomes large and perturbation theory still applies. Explain why the rate $P(t) / t$ for each allowed transition is sharply peaked, as a function of $\nu$, around $\nu=\omega$.

  comment

• 1.II.33E

  #Applications of Quantum Mechanics

  2008

  A beam of particles each of mass $m$ and energy $\hbar^{2} k^{2} /(2 m)$ scatters off an axisymmetric potential $V$. In the first Born approximation the scattering amplitude is

  $$f(\theta)=-\frac{m}{2 \pi \hbar^{2}} \int e^{-i\left(\mathbf{k}-\mathbf{k}_{0}\right) \cdot \mathbf{x}^{\prime}} V\left(\mathbf{x}^{\prime}\right) d^{3} x^{\prime}$$

  where $\mathbf{k}_{0}=(0,0, k)$ is the wave vector of the incident particles and $\mathbf{k}=(k \sin \theta, 0, k \cos \theta)$ is the wave vector of the outgoing particles at scattering angle $\theta$ (and $\phi=0$ ). Let $\mathbf{q}=\mathbf{k}-\mathbf{k}_{0}$ and $q=|\mathbf{q}|$. Show that when the scattering potential $V$ is spherically symmetric the expression $(*)$ simplifies to

  $$f(\theta)=-\frac{2 m}{\hbar^{2} q} \int_{0}^{\infty} r^{\prime} V\left(r^{\prime}\right) \sin \left(q r^{\prime}\right) d r^{\prime}$$

  and find the relation between $q$ and $\theta$.

  Calculate this scattering amplitude for the potential $V(r)=V_{0} e^{-r}$ where $V_{0}$ is a constant, and show that at high energies the particles emerge predominantly in a narrow cone around the forward beam direction. Estimate the angular width of the cone.

  comment

• 2.II.33E

  #Applications of Quantum Mechanics

  2008

  Consider a large, essentially two-dimensional, rectangular sample of conductor of area $A$, and containing $2 N$ electrons of charge $-e$. Suppose a magnetic field of strength $B$ is applied perpendicularly to the sample. Write down the Landau Hamiltonian for one of the electrons assuming that the electron interacts just with the magnetic field.

  [You may ignore the interaction of the electron spin with the magnetic field.]

  Find the allowed energy levels of the electron.

  Find the total energy of the $2 N$ electrons at absolute zero temperature as a function of $B$, assuming that $B$ is in the range

  $$\frac{\pi \hbar N}{e A} \leqslant B \leqslant \frac{2 \pi \hbar N}{e A} .$$

  Comment on the values of the total energy when $B$ takes the values at the two ends of this range.

  comment

• 3.II.33E

  #Applications of Quantum Mechanics

  2008

  Consider the body-centred cuboidal lattice $L$ with lattice points $\left(n_{1} a, n_{2} a, n_{3} b\right)$ and $\left(\left(n_{1}+\frac{1}{2}\right) a,\left(n_{2}+\frac{1}{2}\right) a,\left(n_{3}+\frac{1}{2}\right) b\right)$, where $a$ and $b$ are positive and $n_{1}, n_{2}$ and $n_{3}$ take all possible integer values. Find the reciprocal lattice $\widetilde{L}$ and describe its geometrical form. Calculate the volumes of the unit cells of the lattices $L$ and $\widetilde{L}$.

  Find the reciprocal lattice vector associated with the lattice planes parallel to the plane containing the points $(0,0, b),(0, a, b),\left(\frac{1}{2} a, \frac{1}{2} a, \frac{1}{2} b\right),(a, 0,0)$ and $(a, a, 0)$. Deduce the allowed Bragg scattering angles of X-rays off these planes, assuming that $b=\frac{4}{3} a$ and that the X-rays have wavelength $\lambda=\frac{1}{2} a$.

  comment

• 4.II.33E

  #Applications of Quantum Mechanics

  2008

  Explain why the allowed energies of electrons in a three-dimensional crystal lie in energy bands. What quantum numbers can be used to classify the electron energy eigenstates?

  Describe the effect on the energy level structure of adding a small density of impurity atoms randomly to the crystal.

  comment

• $2 . \mathrm{II} . 34 \mathrm{E} \quad$

  #Statistical Physics

  2008

  Prove that energy fluctuations in a canonical distribution are given by

  $$\left\langle(E-\langle E\rangle)^{2}\right\rangle=k_{B} T^{2} C_{V}$$

  where $T$ is the absolute temperature, $C_{V}=\left.\frac{\partial\langle E\rangle}{\partial T}\right|_{V}$ is the heat capacity at constant volume, and $k_{B}$ is Boltzmann's constant.

  Prove the following relation in a similar manner:

  $$\left\langle(E-\langle E\rangle)^{3}\right\rangle=k_{B}^{2}\left[\left.T^{4} \frac{\partial C_{V}}{\partial T}\right|_{V}+2 T^{3} C_{V}\right]$$

  Show that, for an ideal gas of $N$ monatomic molecules where $\langle E\rangle=\frac{3}{2} N k_{B} T$, these equations can be reduced to

  $$\frac{1}{\langle E\rangle^{2}}\left\langle(E-\langle E\rangle)^{2}\right\rangle=\frac{2}{3 N} \quad \text { and } \quad \frac{1}{\langle E\rangle^{3}}\left\langle(E-\langle E\rangle)^{3}\right\rangle=\frac{8}{9 N^{2}}$$

  comment

• 3.II.34E

  #Statistical Physics

  2008

  Derive the following two relations:

  $$T d S=C_{p} d T-\left.T \frac{\partial V}{\partial T}\right|_{p} d p$$

  and

  $$T d S=C_{V} d T+\left.T \frac{\partial p}{\partial T}\right|_{V} d V$$

  [You may use any standard Maxwell relation without proving it.]

  Experimentalists very seldom measure $C_{V}$ directly; they measure $C_{p}$ and use thermodynamics to extract $C_{V}$. Use your results from the first part of this question to find a formula for $C_{p}-C_{V}$ in terms of the easily measured quantities

  $$\alpha=\left.\frac{1}{V} \frac{\partial V}{\partial T}\right|_{p}$$

  (the volume coefficient of expansion) and

  $$\kappa=-\left.\frac{1}{V} \frac{\partial V}{\partial p}\right|_{T}$$

  (the isothermal compressibility).

  comment

• 4.II.34D

  #Statistical Physics

  2008

  Show that the Fermi momentum $p_{F}$ of a gas of $N$ non-interacting electrons in volume $V$ is

  $$p_{F}=\left(3 \pi^{2} \hbar^{3} \frac{N}{V}\right)^{1 / 3}$$

  Consider the electrons to be effectively massless, so that an electron of momentum $p$ has (relativistic) energy $c p$. Show that the mean energy per electron at zero temperature is $3 c p_{F} / 4$.

  When a constant external magnetic field of strength $B$ is applied to the electron gas, each electron gets an energy contribution $\pm \mu B$ depending on whether its spin is parallel or antiparallel to the field. Here $\mu$ is the magnitude of the magnetic moment of an electron. Calculate the total magnetic moment of the electron gas at zero temperature, assuming $\mu B$ is much less than $c p_{F}$.

  comment

• 1.II $. 34 \mathrm{D} \quad$

  #Electrodynamics

  2008

  Frame $\mathcal{S}^{\prime}$ is moving with uniform speed $v$ in the $x$-direction relative to a laboratory frame $\mathcal{S}$. The components of the electric and magnetic fields $\mathbf{E}$ and $\mathbf{B}$ in the two frames are related by the Lorentz transformation

  where $\gamma=1 / \sqrt{1-v^{2}}$ and units are chosen so that $c=1$. How do the components of the spatial vector $\mathbf{F}=\mathbf{E}+i \mathbf{B}$ (where $i=\sqrt{-1}$ ) transform?

  Show that $\mathbf{F}^{\prime}$ is obtained from $\mathbf{F}$ by a rotation through $\theta$ about a spatial axis $\mathbf{n}$, where $\mathbf{n}$ and $\theta$ should be determined. Hence, or otherwise, show that there are precisely two independent scalars associated with $\mathbf{F}$ which are preserved by the Lorentz transformation, and obtain them.

  [Hint: since $|v|<1$ there exists a unique real $\psi$ such that $v=\tanh \psi$.]

  comment

• $3 . \mathrm{II} . 35 \mathrm{D} \quad$

  #Electrodynamics

  2008

  The retarded scalar potential $\varphi(t, \mathbf{x})$ produced by a charge distribution $\rho(t, \mathbf{x})$ is given by

  $$\varphi(t, \mathbf{x})=\frac{1}{4 \pi \epsilon_{0}} \int_{\Omega} d^{3} x^{\prime} \frac{\rho\left(t-\left|\mathbf{x}-\mathbf{x}^{\prime}\right|, \mathbf{x}^{\prime}\right)}{\left|\mathbf{x}-\mathbf{x}^{\prime}\right|}$$

  where $\Omega$ denotes all 3 -space. Describe briefly and qualitatively the physics underlying this formula.

  Write the integrand in the formula above as a 1-dimensional integral over a new time coordinate $\tau$. Next consider a special source, a point charge $q$ moving along a trajectory $\mathbf{x}=\mathbf{x}_{0}(t)$ so that

  $$\rho(t, \mathbf{x})=q \delta^{(3)}\left(\mathbf{x}-\mathbf{x}_{0}(t)\right),$$

  where $\delta^{(3)}(\mathbf{x})$ denotes the 3 -dimensional delta function. By reversing the order of integration, or otherwise, obtain the Liénard-Wiechert potential

  $$\varphi(t, \mathbf{x})=\frac{1}{4 \pi \epsilon_{0}} \frac{q}{R-\mathbf{v} \cdot \mathbf{R}},$$

  where $\mathbf{v}$ and $\mathbf{R}$ are to be determined.

  Write down the corresponding formula for the vector potential $\mathbf{A}(t, \mathbf{x})$.

  $$\begin{aligned} & E_{x}^{\prime}=E_{x}, \quad E_{y}^{\prime}=\gamma\left(E_{y}-v B_{z}\right), \quad E_{z}^{\prime}=\gamma\left(E_{z}+v B_{y}\right), \\ & B_{x}^{\prime}=B_{x}, \quad B_{y}^{\prime}=\gamma\left(B_{y}+v E_{z}\right), \quad B_{z}^{\prime}=\gamma\left(B_{z}-v E_{y}\right), \end{aligned}$$

  comment

• 4.II $. 35 \mathrm{D} \quad$

  #Electrodynamics

  2008

  The Maxwell field tensor is given by

  $$F^{a b}=\left(\begin{array}{cccc} 0 & -E_{x} & -E_{y} & -E_{z} \\ E_{x} & 0 & -B_{z} & B_{y} \\ E_{y} & B_{z} & 0 & -B_{x} \\ E_{z} & -B_{y} & B_{x} & 0 \end{array}\right)$$

  A general 4-velocity is written as $U^{a}=\gamma(1, \mathbf{v})$, where $\gamma=\left(1-|\mathbf{v}|^{2}\right)^{-1 / 2}$, and $c=1$. A general 4-current density is written as $J^{a}=(\rho, \mathbf{j})$, where $\rho$ is the charge density and $\mathbf{j}$ is the 3 -current density. Show that

  $$F^{a b} U_{b}=\gamma(\mathbf{E} \cdot \mathbf{v}, \mathbf{E}+\mathbf{v} \times \mathbf{B})$$

  In the rest frame of a conducting medium, Ohm's law states that $\mathbf{j}=\sigma \mathbf{E}$ where $\sigma$ is the conductivity. Show that the relativistic generalization to a frame in which the medium moves with uniform velocity $\mathbf{v}$ is

  $$J^{a}-\left(J^{b} U_{b}\right) U^{a}=\sigma F^{a b} U_{b}$$

  Show that this implies

  $$\mathbf{j}=\rho \mathbf{v}+\sigma \gamma(\mathbf{E}+\mathbf{v} \times \mathbf{B}-(\mathbf{v} \cdot \mathbf{E}) \mathbf{v})$$

  Simplify this formula, given that the charge density vanishes in the rest frame of the medium

  comment

• 1.II.35E

  #General Relativity

  2008

  For the metric

  $$\mathrm{d} s^{2}=\frac{1}{r^{2}}\left(-\mathrm{d} t^{2}+\mathrm{d} r^{2}\right), \quad r \geqslant 0,$$

  obtain the geodesic equations of motion. For a massive particle show that

  $$\left(\frac{\mathrm{d} r}{\mathrm{~d} t}\right)^{2}=1-\frac{1}{k^{2} r^{2}}$$

  for some constant $k$. Show that the particle moves on trajectories

  $$r^{2}-t^{2}=\frac{1}{k^{2}}, \quad k r=\sec \tau, \quad k t=\tan \tau$$

  where $\tau$ is the proper time, if the origins of $t, \tau$ are chosen appropriately.

  comment

• 2.II.35E

  #General Relativity

  2008

  Let $x^{a}(\lambda)$ be a path $P$ with tangent vector $T^{a}=\frac{d}{d \lambda} x^{a}(\lambda)$. For vectors $X^{a}(x(\lambda))$ and $Y^{a}(x(\lambda))$ defined on $P$ let

  $$\nabla_{T} X^{a}=\frac{d}{d \lambda} X^{a}+\Gamma_{b c}^{a}(x(\lambda)) X^{b} T^{c}$$

  where $\Gamma_{b c}^{a}(x)$ is the metric connection for a metric $g_{a b}(x) . \nabla_{T} Y^{a}$ is defined similarly. Suppose $P$ is geodesic and $\lambda$ is an affine parameter. Explain why $\nabla_{T} T^{a}=0$. Show that if $\nabla_{T} X^{a}=\nabla_{T} Y^{a}=0$ then $g_{a b}(x(\lambda)) X^{a}(x(\lambda)) Y^{b}(x(\lambda))$ is constant along $P$.

  If $x^{a}(\lambda, \mu)$ is a family of geodesics which depend on $\mu$, let $S^{a}=\frac{\partial}{\partial \mu} x^{a}$ and define

  $$\nabla_{S} X^{a}=\frac{\partial}{\partial \mu} X^{a}+\Gamma_{b c}^{a}(x(\lambda)) X^{b} S^{c}$$

  Show that $\nabla_{T} S^{a}=\nabla_{S} T^{a}$ and obtain

  $$\nabla_{T}{ }^{2} S^{a} \equiv \nabla_{T}\left(\nabla_{T} S^{a}\right)=R_{b c d}^{a} T^{b} T^{c} S^{d}$$

  What is the physical relevance of this equation in general relativity? Describe briefly how this is relevant for an observer moving under gravity.

  [You may assume $\left[\nabla_{T}, \nabla_{S}\right] X^{a}=R_{b c d}^{a} X^{b} T^{c} S^{d}$.]

  comment

• 4.II.36E

  #General Relativity

  2008

  A solution of the Einstein equations is given by the metric

  $$\mathrm{d} s^{2}=-\left(1-\frac{2 M}{r}\right) \mathrm{d} t^{2}+\frac{1}{\left(1-\frac{2 M}{r}\right)} \mathrm{d} r^{2}+r^{2}\left(\mathrm{~d} \theta^{2}+\sin ^{2} \theta \mathrm{d} \phi^{2}\right)$$

  For an incoming light ray, with constant $\theta, \phi$, show that

  $$t=v-r-2 M \log \left|\frac{r}{2 M}-1\right|,$$

  for some fixed $v$ and find a similar solution for an outgoing light ray. For the outgoing case, assuming $r>2 M$, show that in the far past $\frac{r}{2 M}-1 \propto \exp \left(\frac{t}{2 M}\right)$ and in the far future $r \sim t$.

  Obtain the transformed metric after the change of variables $(t, r, \theta, \phi) \rightarrow(v, r, \theta, \phi)$. With coordinates $\hat{t}=v-r, r$ sketch, for fixed $\theta, \phi$, the trajectories followed by light rays. What is the significance of the line $r=2 M$ ?

  Show that, whatever path an observer with initial $r=r_{0}<2 M$ takes, he must reach $r=0$ in a finite proper time.

  comment

• 1.II.36A

  #Fluid Dynamics II

  2008

  Derive the relation between the stress tensor $\sigma_{i j}$ and the rate-of-strain tensor $e_{i j}$ in an incompressible Newtonian fluid, using the result that there is a linear dependence between the components of $\sigma_{i j}$ and those of $e_{i j}$ that is the same in all frames. Write down the boundary conditions that hold at an interface between two viscous fluids.

  Viscous fluid is contained in a channel between the rigid planes $y=-a$ and $y=a$. The fluid in $y<0$ has dynamic viscosity $\mu_{-}$, while that in $y>0$ has dynamic viscosity $\mu_{+}$. Gravity may be neglected. The fluids move through the channel in the $x$-direction under the influence of a pressure gradient applied at the ends of the channel. It may be assumed that the velocity has no $z$-components, and all quantities are independent of $z$.

  Find a steady solution of the Navier-Stokes equation in which the interface between the two fluids remains at $y=0$, the fluid velocity is everywhere independent of $x$, and the pressure gradient is uniform. Use it to calculate the following:

  (a) the viscous tangential stress at $y=-a$ and at $y=a$; and

  (b) the ratio of the volume fluxes of the two different fluids.

  Comment on the limits of each of the results in (a) and (b) as $\mu_{+} / \mu_{-} \rightarrow 1$, and as $\mu_{+} / \mu_{-} \rightarrow \infty$

  comment

• 2.II.36A

  #Fluid Dynamics II

  2008

  Viscous fluid with dynamic viscosity $\mu$ flows with velocity $\left(u_{x}, u_{y}, u_{z}\right) \equiv\left(\mathbf{u}_{H}, u_{z}\right)$ (in cartesian coordinates $x, y, z)$ in a shallow container with a free surface at $z=0$. The base of the container is rigid, and is at $z=-h(x, y)$. A horizontal stress $\mathbf{S}(x, y)$ is applied at the free surface. Gravity may be neglected.

  Using lubrication theory (conditions for the validity of which should be clearly stated), show that the horizontal volume flux $\mathbf{q}(x, y) \equiv \int_{-h}^{0} \mathbf{u}_{H} d z$ satisfies the equations

  $$\nabla \cdot \mathbf{q}=0, \quad \mu \mathbf{q}=-\frac{1}{3} h^{3} \nabla p+\frac{1}{2} h^{2} \mathbf{S}$$

  where $p(x, y)$ is the pressure. Find also an expression for the surface velocity $\mathbf{u}_{0}(x, y) \equiv$ $\mathbf{u}_{H}(x, y, 0)$ in terms of $\mathbf{S}, \mathbf{q}$ and $h$.

  Now suppose that the container is cylindrical with boundary at $x^{2}+y^{2}=a^{2}$, where $a \gg h$, and that the surface stress is uniform and in the $x$-direction, so $\mathbf{S}=\left(S_{0}, 0\right)$ with $S_{0}$ constant. It can be assumed that the correct boundary condition to apply at $x^{2}+y^{2}=a^{2}$ is $\mathbf{q} \cdot \mathbf{n}=0$, where $\mathbf{n}$ is the unit normal.

  Write $\mathbf{q}=\nabla \psi(x, y) \times \hat{\mathbf{z}}$, and show that $\psi$ satisfies the equation

  $$\nabla \cdot\left(\frac{1}{h^{3}} \nabla \psi\right)=-\frac{S_{0}}{2 \mu h^{2}} \frac{\partial h}{\partial y}$$

  Deduce that if $h=h_{0}$ (constant) then $\mathbf{q}=\mathbf{0}$. Find $\mathbf{u}_{\mathbf{0}}$ in this case.

  Now suppose that $h=h_{0}(1+\epsilon y / a)$, where $\epsilon \ll 1$. Verify that to leading order in $\epsilon, \psi=\epsilon C\left(x^{2}+y^{2}-a^{2}\right)$ for some constant $C$ to be determined. Hence determine $\mathbf{u}_{0}$ up to and including terms of order $\epsilon$.

  [Hint: $\nabla \times(\mathbf{A} \times \hat{\mathbf{z}})=\hat{\mathbf{z}} \cdot \nabla \mathbf{A}-\hat{\mathbf{z}} \nabla \cdot \mathbf{A}$ for any vector field $\mathbf{A} .]$

  comment

• 3.II.36A

  #Fluid Dynamics II

  2008

  Show that, in cylindrical polar co-ordinates, the streamfunction $\psi(r, \phi)$ for the velocity $\mathbf{u}=\left(u_{r}(r, \phi), u_{\phi}(r, \phi), 0\right)$ and vorticity $(0,0, \omega(r, \phi))$ of two-dimensional Stokes flow of incompressible fluid satisfies the equations

  $$\mathbf{u}=\left(\frac{1}{r} \frac{\partial \psi}{\partial \phi},-\frac{\partial \psi}{\partial r}, 0\right), \quad \nabla^{2} \omega=-\nabla^{4} \psi=0$$

  Show also that the pressure $p(r, \phi)$ satisfies $\nabla^{2} p=0$.

  A stationary rigid circular cylinder of radius $a$ occupies the region $r \leqslant a$. The flow around the cylinder tends at large distances to a simple shear flow, with velocity given in cartesian coordinates $(x, y, z)$ by $\mathbf{u}=(\Gamma y, 0,0)$. Inertial forces may be neglected.

  By solving the equation for $\psi$ in cylindrical polars, determine the flow field everywhere. Determine the torque on the cylinder per unit length in $z$.

  [Hint: in cylindrical polars

  $$\nabla^{2} V=\frac{1}{r} \frac{\partial}{\partial r}\left(r \frac{\partial V}{\partial r}\right)+\frac{1}{r^{2}} \frac{\partial^{2} V}{\partial \phi^{2}}$$

  The off-diagonal component of the rate-of-strain tensor is given by

  $$\left.e_{r \phi}=\frac{1}{2}\left(\frac{1}{r} \frac{\partial u_{r}}{\partial \phi}+r \frac{\partial}{\partial r}\left(\frac{u_{\phi}}{r}\right)\right) .\right]$$

  comment

• 4.II.37A

  #Fluid Dynamics II

  2008

  Viscous incompressible fluid of uniform density is extruded axisymmetrically from a thin circular slit of small radius centred at the origin and lying in the plane $z=0$ in cylindrical polar coordinates $r, \theta, z$. There is no external radial pressure gradient. It is assumed that the fluid forms a thin boundary layer, close to and symmetric about the plane $z=0$. The layer has thickness $\delta(r) \ll r$. The $r$-component of the steady Navier-Stokes equations may be approximated by

  $$u_{r} \frac{\partial u_{r}}{\partial r}+u_{z} \frac{\partial u_{r}}{\partial z}=\nu \frac{\partial^{2} u_{r}}{\partial z^{2}}$$

  (i) Prove that the quantity (proportional to the flux of radial momentum)

  $$\mathcal{F}=\int_{-\infty}^{\infty} u_{r}^{2} r d z$$

  is independent of $r$.

  (ii) Show, by balancing terms in the momentum equation and assuming constancy of $\mathcal{F}$, that there is a similarity solution of the form

  $$u_{r}=-\frac{1}{r} \frac{\partial \Psi}{\partial z}, \quad u_{z}=\frac{1}{r} \frac{\partial \Psi}{\partial r}, \quad \Psi=-A \delta(r) f(\eta), \quad \eta=\frac{z}{\delta(r)}, \quad \delta(r)=C r$$

  where $A, C$ are constants. Show that for suitable choices of $A$ and $C$ the equation for $f$ takes the form

  $$\begin{gathered} -f^{\prime 2}-f f^{\prime \prime}=f^{\prime \prime \prime} ; \\ f=f^{\prime \prime}=0 \text { at } \eta=0 ; \quad f^{\prime} \rightarrow 0 \text { as } \eta \rightarrow \infty ; \\ \int_{-\infty}^{\infty} f_{\eta}^{2} d \eta=1 . \end{gathered}$$

  (iii) Give an inequality connecting $\mathcal{F}$ and $\nu$ that ensures that the boundary layer approximation $(\delta \ll r)$ is valid. Solve the equation to give a complete solution to the problem for $u_{r}$ when this inequality holds.

  [Hint: $\left.\int_{-\infty}^{\infty} \operatorname{sech}^{4} x d x=4 / 3 .\right]$

  comment

• 1.II $. 37 \mathrm{~B}$

  #Waves

  2008

  Show that in an acoustic plane wave the velocity and perturbation pressure are everywhere proportional and find the constant of proportionality.

  Gas occupies a tube lying parallel to the $x$-axis. In the regions $x<0$ and $x>L$ the gas has uniform density $\rho_{0}$ and sound speed $c_{0}$. For $0<x<L$ the gas is cooled so that it has uniform density $\rho_{1}$ and sound speed $c_{1}$. A harmonic plane wave with frequency $\omega$ is incident from $x=-\infty$. Show that the amplitude of the wave transmitted into $x>L$ relative to that of the incident wave is

  $$|T|=\left[\cos ^{2} k_{1} L+\frac{1}{4}\left(\lambda+\lambda^{-1}\right)^{2} \sin ^{2} k_{1} L\right]^{-1 / 2}$$

  where $\lambda=\rho_{1} c_{1} / \rho_{0} c_{0}$ and $k_{1}=\omega / c_{1}$.

  What are the implications of this result if $\lambda \gg 1$ ?

  comment

• 2.II.37B

  #Waves

  2008

  Show that, in one-dimensional flow of a perfect gas at constant entropy, the Riemann invariants $u \pm 2\left(c-c_{0}\right) /(\gamma-1)$ are constant along characteristics $d x / d t=u \pm c$.

  A perfect gas occupies a tube that lies parallel to the $x$-axis. The gas is initially at rest and is in $x>0$. For times $t>0$ a piston is pulled out of the gas so that its position at time $t$ is

  $$x=X(t)=-\frac{1}{2} f t^{2}$$

  where $f>0$ is a constant. Sketch the characteristics of the resulting motion in the $(x, t)$ plane and explain why no shock forms in the gas.

  Calculate the pressure exerted by the gas on the piston for times $t>0$, and show that at a finite time $t_{v}$ a vacuum forms. What is the speed of the piston at $t=t_{v}$ ?

  comment

• 3.II $. 37 \mathrm{~B} \quad$

  #Waves

  2008

  The real function $\phi(x, t)$ satisfies the Klein-Gordon equation

  $$\frac{\partial^{2} \phi}{\partial t^{2}}=\frac{\partial^{2} \phi}{\partial x^{2}}-\phi, \quad-\infty<x<\infty, t \geqslant 0$$

  Find the dispersion relation for disturbances of wavenumber $k$ and deduce their phase and group velocities.

  Suppose that at $t=0$

  $$\phi(x, 0)=0 \quad \text { and } \quad \frac{\partial \phi}{\partial t}(x, 0)=e^{-|x|}$$

  Use Fourier transforms to find an integral expression for $\phi(x, t)$ when $t>0$.

  Use the method of stationary phase to find $\phi(V t, t)$ for $t \rightarrow \infty$ for fixed $0<V<1$. What can be said if $V>1$ ?

  [Hint: you may assume that

  $$\left.\int_{-\infty}^{\infty} e^{-a x^{2}} d x=\sqrt{\frac{\pi}{a}}, \quad \operatorname{Re}(a)>0 .\right]$$

  comment

• 4.II $. 38$ B

  #Waves

  2008

  A layer of rock of shear modulus $\bar{\mu}$ and shear wave speed $\bar{c}_{s}$ occupies the region $0 \leqslant y \leqslant h$ with a free surface at $y=h$. A second rock having shear modulus $\mu$ and shear wave speed $c_{s}>\bar{c}_{s}$ occupies $y \leqslant 0$. Show that elastic $S H$ waves of wavenumber $k$ and phase speed $c$ can propagate in the layer with zero disturbance at $y=-\infty$ if $\bar{c}_{s}<c<c_{s}$ and $c$ satisfies the dispersion relation

  $$\tan \left[k h \sqrt{c^{2} / \bar{c}_{s}^{2}-1}\right]=\frac{\mu}{\bar{\mu}} \frac{\sqrt{1-c^{2} / c_{s}^{2}}}{\sqrt{c^{2} / \bar{c}_{s}^{2}-1}} .$$

  Show graphically, or otherwise, that this equation has at least one real solution for any value of $k h$, and determine the smallest value of $k h$ for which the equation has at least two real solutions.

  comment

• 1.II.38C

  #Numerical Analysis

  2008

  The Poisson equation $\nabla^{2} u=f$ in the unit square $\Omega=[0,1] \times[0,1]$, with zero boundary conditions on $\partial \Omega$, is discretized with the nine-point formula

  $$\begin{aligned} \frac{10}{3} u_{m, n} &-\frac{2}{3}\left(u_{m+1, n}+u_{m-1, n}+u_{m, n+1}+u_{m, n-1}\right) \\ &-\frac{1}{6}\left(u_{m+1, n+1}+u_{m+1, n-1}+u_{m-1, n+1}+u_{m-1, n-1}\right)=-h^{2} f_{m, n}, \end{aligned}$$

  where $1 \leqslant m, n \leqslant M, u_{m, n} \approx u(m h, n h)$, and $(m h, n h)$ are grid points.

  (a) Prove that, for any ordering of the grid points, the method can be written as $A \mathbf{u}=\mathbf{b}$ with a symmetric positive-definite matrix $A$.

  (b) Describe the Jacobi method for solving a linear system of equations, and prove that it converges for the above system.

  [You may quote without proof the corollary of the Householder-John theorem regarding convergence of the Jacobi method.]

  comment

• 2.II.38C

  #Numerical Analysis

  2008

  The advection equation

  $$u_{t}=u_{x}, \quad x \in \mathbb{R}, \quad t \geqslant 0,$$

  is solved by the leapfrog scheme

  $$u_{m}^{n+1}=\mu\left(u_{m+1}^{n}-u_{m-1}^{n}\right)+u_{m}^{n-1},$$

  where $n \geqslant 1$ and $\mu=\Delta t / \Delta x$ is the Courant number.

  (a) Determine the local error of the method.

  (b) Applying the Fourier technique, find the range of $\mu>0$ for which the method is stable.

  comment

• 3.II.38C

  #Numerical Analysis

  2008

  (a) A numerical method for solving the ordinary differential equation

  $$y^{\prime}(t)=f(t, y), \quad t \in[0, T], \quad y(0)=y_{0},$$

  generates for every $h>0$ a sequence $\left\{y_{n}\right\}$, where $y_{n}$ is an approximation to $y\left(t_{n}\right)$ and $t_{n}=n h$. Explain what is meant by the convergence of the method.

  (b) Prove from first principles that if the function $f$ is sufficiently smooth and satisfies the Lipschitz condition

  $$|f(t, x)-f(t, y)| \leqslant \lambda|x-y|, \quad x, y \in \mathbb{R}, \quad t \in[0, T],$$

  for some $\lambda>0$, then the trapezoidal rule

  $$y_{n+1}=y_{n}+\frac{1}{2} h\left[f\left(t_{n}, y_{n}\right)+f\left(t_{n+1}, y_{n+1}\right)\right]$$

  converges.

  comment

• 4.II.39C

  #Numerical Analysis

  2008

  Let $A \in \mathbb{R}^{n \times n}$ be a real matrix with $n$ linearly independent eigenvectors. When calculating eigenvalues of $A$, the sequence $\mathbf{x}^{(k)}, k=0,1,2, \ldots$, is generated by power method $\mathbf{x}^{(k+1)}=A \mathbf{x}^{(k)} /\left\|A \mathbf{x}^{(k)}\right\|$, where $\mathbf{x}^{(0)}$ is a real nonzero vector.

  (a) Describe the asymptotic properties of the sequence $\mathbf{x}^{(k)}$, both in the case where the eigenvalues $\lambda_{i}$ of $A$ satisfy $\left|\lambda_{i}\right|<\left|\lambda_{n}\right|, i=1, \ldots, n-1$, and in the case where $\left|\lambda_{i}\right|<\left|\lambda_{n-1}\right|=\left|\lambda_{n}\right|, i=1, \ldots, n-2$. In the latter case explain how the (possibly complexvalued) eigenvalues $\lambda_{n-1}, \lambda_{n}$ and their corresponding eigenvectors can be determined.

  (b) Let $n=3$, and suppose that, for a large $k$, we obtain the vectors

  $$\mathbf{y}_{k}=\mathbf{x}_{k}=\left[\begin{array}{l} 1 \\ 1 \\ 1 \end{array}\right], \quad \mathbf{y}_{k+1}=A \mathbf{x}_{k}=\left[\begin{array}{l} 2 \\ 3 \\ 4 \end{array}\right], \quad \mathbf{y}_{k+2}=A^{2} \mathbf{x}_{k}=\left[\begin{array}{l} 2 \\ 4 \\ 6 \end{array}\right]$$

  Find two eigenvalues of $A$ and their corresponding eigenvectors.

  comment